Ready to supercharge your AI agents?

Install any skill in seconds. Free to start, no credit card required.

Get Started Free →

Assumption Negation · yogsoth-ai | DecimalAI

researchby yogsoth-ai

Assumption Negation

yogsoth-ai/assumption-negation

Source yogsoth-ai/de-anthropocentric-research-engine ↗License Apache-2.0

Classic reductio ad absurdum: negate the core claim, derive logical consequences, seek contradiction or absurdity.

SkillScore92Maintained

Automatic

Research pack

Last verified 8/22/2026

What it changes

Passed 19 of 21 test cases with the skill, and 13 of 21 without it.

Without skill64%

With skill92%

Checks it passed that the model alone missed

Specifies exactly 3 negation chains
Specifies exactly 6 negation chains
Specifies exactly 10 negation chains

and 6 more in the full report

9 fixed14 passed either way0 still failing2 broke

Pass-rate lift: +28 pp
Tokens: -12%
Agent turns: 0%
Response time: -49%

Model gemini-3.6-flashMeasured 8/22/2026v123 of 25 cases passed with skill · 21 comparable

Tokens, turns and time describe resource use, not a dollar price.

Use this skill

Save it into your project's skills folder. Claude Code picks it up in its next session.

curl -fsSL --create-dirs -o .claude/skills/yogsoth-ai-assumption-negation/SKILL.md https://app.decimal.ai/s/yogsoth-ai-assumption-negation/SKILL.md

Want it pinned and updatable? pip install "decimalai>=0.15", then decimalai skills add yogsoth-ai-assumption-negation, and start Claude Code with claude --plugin-dir "$(git rev-parse --show-toplevel)/.agents"

1 · One-time — install the CLI (docs ↗)

pip install "decimalai>=0.15"

2 · Get the skill — writes .agents/skills/yogsoth-ai-assumption-negation/ and pins it in .decimal/skills.lock

decimalai skills add yogsoth-ai-assumption-negation

No CLI? Get the same file — curl · raw file

curl -fsSL --create-dirs -o .claude/skills/yogsoth-ai-assumption-negation/SKILL.md https://app.decimal.ai/s/yogsoth-ai-assumption-negation/SKILL.md

Raw file: /s/yogsoth-ai-assumption-negation/SKILL.md ↗ · machine-readable summary at /s/yogsoth-ai-assumption-negation.json ↗

Safety checks: 3 of 3 passed

Code scan CleanIntent PassedContent Clean

See it in action

One of 5 test cases the skill fixed. Same model, same prompt, with and without the skill.

1 of 5

Prompt

If the evaluation of derived consequence chains reveals no contradiction or absurdity, which fallback subagent is dispatched to handle the uncontradicted claim?

What was checked, without and with the skill
Checked	Without skill	With skill
Dispatches the claim-refinement subagent	Missed	Passed

case-16 · gemini-3.6-flash · 8/22/2026 · answers are capped and redacted

What's inside

The instructions your model reads when the skill loads.

SKILL.md61 linessingle file

Assumption Negation

Tactics

contradiction-derivation
counterexample-heuristics

Method

Extract the core claim or assumption from the artifact
Formally negate it (produce ~P from P)
Derive logical consequences of ~P through deductive chains
Evaluate whether derivation reaches genuine contradiction
If contradiction found: original claim survives this test
If no contradiction: claim may be contingent, not necessary

Budget

Size	Negation chains	Max derivation depth
S	3	5 steps
M	6	8 steps
L	10	12 steps

Orchestration

Dispatch claim-negation to produce formal negation
For each negation, dispatch deductive-chain to derive consequences
Dispatch contradiction-detection to evaluate results
If no contradiction, dispatch claim-refinement for weakened version

Subagents

claim-negation
deductive-chain
contradiction-detection
claim-refinement

Track record

Benchmark

19 / 21

test cases passed, vs 13 / 21 without

Adoption

Users: 0
Times used: 0

Safety and source details

SkillSafety

✓ 3 of 3 passed

Code scan15 of 15 checks clean

0 critical · 0 warning · 0 info — scanner v4 — 8/3/2026

View 15 scanner checks

live_secretremote_code_executionreverse_shelldata_exfiltrationssrf_metadataagent_snoopinganti_refusaldestructive_commandsobfuscated_unicodeunicode_homoglyphopaque_blobsuspicious_urltool_overreachtrigger_abuseprompt_injection_phrasing

IntentSafe

LLM judge · does the skill do what it claims

ContentClean

LLM judge · policy & harmful-content review

Source

Imported

yogsoth-ai / de-anthropocentric-research-engine

skills/assumption-negation/SKILL.md

View on GitHub ↗

License Apache-2.0Imported 8/3/2026Version v1

Other skills for the same job

Published skills whose descriptions closely match this one, with their headline benchmark lift.

More skills from the same source and nearby in the registry, with their headline benchmark lift.

Ready to supercharge your AI agents?

See it in action

What's inside

Assumption Negation

Tactics

Method

Budget

Orchestration

Subagents

Track record

Benchmark

Adoption

SkillSafety

Source

Other skills for the same job

Related skills