synapseradio/trace-logical-justifications
extensions/thinkies/skills/trace-logical-justifications/SKILL.md
Trace justification chains to bedrock
$ install --global
skillsauthnpx skillsauth add synapseradio/ai-skills trace-logical-justificationsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Jul 22, 2026, 7:13 AM112.9s1 file scanned
SKILL.md
- name:
- trace-logical-justifications
- description:
- Trace justification chains to bedrock
Follow these steps:
1. Identify the claim chain
List each distinct claim in the reasoning sequence, from premises through intermediate steps to conclusion.
2. Ask what supports each claim
For each claim, identify its warrant:
- Another claim in the chain
- An observation or measurement
- A definition
- A logical axiom
- Nothing visible
3. Follow chains to bedrock
Trace backward until reaching an endpoint:
- Direct observation: "I measured X"
- Definitional truth: "by definition of the term"
- Logical axiom: "law of non-contradiction"
- Absence: no warrant found
4. Mark floating claims
Flag any claim whose chain terminates in absence rather than bedrock — unsupported assumptions.
5. Assess chain integrity
- Are bedrock warrants appropriate for the claims they support?
- Are floating assumptions plausible?
- Does the overall structure hold?
Related Skills
synapseradio/find-leverage
data-ai
VerifiedTrustedCommunity
Locate where a small change shifts the whole system
2SKILL.mdUpdated Jul 25, 2026
synapseradio/excavate-assumptions
tools
VerifiedTrustedCommunity
Surface unstated assumptions at multiple levels and rank them
2SKILL.mdUpdated Jul 25, 2026
synapseradio/evaluate-evidence
data-ai
VerifiedTrustedCommunity
Assess how well evidence supports claims
2SKILL.mdUpdated Jul 25, 2026
synapseradio/detect-fallacies
testing
VerifiedTrustedCommunity
Spot logical errors in reasoning
2SKILL.mdUpdated Jul 25, 2026