claim-negation
$
npx mdskill add yogsoth-ai/de-anthropocentric-research-engine/claim-negationSubagent that takes a claim P and produces its formal negation ~P, ensuring the negation is logically precise and preserves scope.
SKILL.md
.github/skills/claim-negationView on GitHub ↗
--- name: claim-negation description: "Formally negate the core claim, producing the logical complement for reductio testing." execution: subagent prompt: ./prompt.md used-by: [adversarial-stress-testing] --- # Claim Negation Subagent that takes a claim P and produces its formal negation ~P, ensuring the negation is logically precise and preserves scope.
More from yogsoth-ai/de-anthropocentric-research-engine
- abductive-hypothesis-generationStrategy: 面对异常的最佳解释推理
- ablation-brainstormRemove components one by one, observe system changes to reveal hidden dependencies and generate ideas from structural gaps.
- ablation-component-mappingMap system architecture to ablatable units for ablation studies
- ablation-designDesign ablation studies to isolate component contributions in ML systems
- ablation-executionRemove components one by one from a system, record the response/impact of each removal.
- abp-vulnerability-classificationClassify assumptions on 2 axes — load-bearing (how much conclusion depends on it) × vulnerable (how likely to be false). Focuses attention on High-Load × High-Vulnerable quadrant.
- abstraction-extractionExtract abstract principles from concrete domain cases. Strips domain-specific details to reveal transferable mechanisms.
- abstraction-ladderPerform bisociation at multiple abstraction levels
- abstraction-ladderingMove between concrete and abstract framings — 3 levels up (Why?) and 3 levels down (How?) to find the most productive research level.
- abstraction-to-designAbstract biological principle to design principle. Bridge from biology to engineering.