Skip to content
Back to skills

Claim Negation

ASecurity

Formally negate the core claim, producing the logical complement for reductio testing.

  • 417 stars
  • 0 votes
  • 0 copies
  • 0 views
  • Added June 1, 2026
researchtesting

Security analysis

A100/100

Pro scans all 2 files and shows the line behind each finding

Scanned June 1, 2026

npx -y skills add yogsoth-ai/de-anthropocentric-research-engine --skill claim-negation --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Claim Negation?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Claim Negation
[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/yogsoth-ai-claim-negation/badge)](https://www.skillsdirectory.com/skills/yogsoth-ai-claim-negation)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro
SKILL.md
---
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.

Files in this skill

  • SKILL.md359 B
  • prompt.md1 KB

Attribution

Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.

Comments

Loading comments…