skills/thinkies/flip-assumptions/SKILL.md
Test claims by forming contrapositive
npx skillsauth add synapseradio/ai-skills thinkies-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.
tools
Turn a problem inside out to reveal hidden structure
testing
Verify epistemic integrity by aligning claims with evidence
tools
Combine viewpoints into coherent whole
tools
Generate and filter ideas into vetted options