monster-barring-attempt

$npx mdskill add yogsoth-ai/de-anthropocentric-research-engine/monster-barring-attempt

Attempts to exclude counterexamples by refining definitions or preconditions.

  • Solves the problem of invalid counterexamples in theoretical claims.
  • Relies on logical analysis and linguistic refinement tools.
  • Evaluates counterexamples against adjusted definitions or constraints.
  • Returns revised definitions or scope limitations to exclude the counterexample.

SKILL.md

.github/skills/monster-barring-attemptView on GitHub ↗
---
name: monster-barring-attempt
description: "Attempt to exclude a counterexample as illegitimate by tightening definitions or preconditions (Lakatos monster-barring)."
execution: subagent
prompt: ./prompt.md
used-by: [adversarial-stress-testing]
---

# Monster-Barring Attempt

Subagent that evaluates whether a counterexample can be legitimately excluded by refining the claim's scope or definitions.

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.