extensions/thinkies/skills/flip-assumptions/SKILL.md
Test claims by forming contrapositive
npx skillsauth add synapseradio/ai-skills flip-assumptionsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Follow these steps:
Target: $ARGUMENTS, else the claim in the current context.
Locate the underlying "if P then Q". It often hides in causal language ("X causes Y"), categorical statements ("all X are Y"), or implied relationships ("X means Y"). Make the conditional explicit.
Negate both parts and reverse them: "if not-Q then not-P". This is logically equivalent to the original.
Which form is easier to test against evidence? The original may require proving something exists; the contrapositive, that something is absent. One direction often reveals clearer evidence paths.
Notice what the contrapositive makes explicit that the original obscured: unstated prerequisites, whether the claim is weaker than it appeared.
Examine evidence for both forms. If the contrapositive is obviously false, the original is too — often a faster path to flawed reasoning.
data-ai
Locate where a small change shifts the whole system
tools
Surface unstated assumptions at multiple levels and rank them
data-ai
Assess how well evidence supports claims
testing
Spot logical errors in reasoning