claim-negation

$npx mdskill add yogsoth-ai/de-anthropocentric-research-engine/claim-negation

Formally negates claims for reductio testing

  • Solves the problem of generating logically precise negations of user-provided claims.
  • Depends on formal logic and logical reasoning capabilities to ensure accuracy.
  • Decides what to do by applying formal logic rules to determine the correct negation.
  • Delivers results in the form of a formally negated claim, ensuring clarity and precision.

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

SkillDescription
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.