counterexample-generation

$npx mdskill add yogsoth-ai/de-anthropocentric-research-engine/counterexample-generation

Systematically generates counterexamples to a claim using diverse heuristic strategies

  • Identifies and uses boundary cases to find flaws in logic.
  • Deploys domain-specific heuristics for effective counterexample generation.
  • Chooses the most relevant and impactful examples based on analysis of input claims.
  • Delivers generated counterexamples directly to the user or further processing stages.

SKILL.md

.github/skills/counterexample-generationView on GitHub ↗
---
name: counterexample-generation
description: "Systematically generate counterexamples (monsters) to a given claim using diverse heuristic strategies."
execution: subagent
prompt: ./prompt.md
used-by: [adversarial-stress-testing]
---

# Counterexample Generation

Subagent that produces counterexamples to a claim using boundary cases, degenerate cases, and domain-specific heuristics.

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.