Claim Refinement

SkillDev tools

Propose a refined claim that survives counterexamples while preserving

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 Refinement skill

What this skill tells your AI

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

Subagent that refines claims to survive counterexamples using lemma incorporation, scope narrowing, or claim splitting.

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