Claim Negation

SkillDev tools

Formally negate the core claim, producing the logical complement for

Available today. Use it from your connected AI after setup.

No other account needed.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Claim Negation skill

What this skill tells your AI

The instructions your AI receives, as published by yogsoth-ai/de-anthropocentric-research-engine in skills/claim-negation/SKILL.md and read by ahel’s review.

Subagent that takes a claim P and produces its formal negation ~P, ensuring the negation is logically precise and preserves scope.

Optional, no fixed order; the final leaf is always a sop.

SOP	When to use
spawn-agent	Spawn a customized CC subagent with full MCP tool access. Used by SOPs that declare execution: subagent.

Advanced