---
name: yogsoth-ai/monster-barring-attempt
source: https://app.decimal.ai/s/yogsoth-ai-monster-barring-attempt@1/SKILL.md
source_sha256: 8a80a9511309
---

# Monster-Barring Attempt

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

<!-- BEGIN available-tables (generated) -->

## Available SOPs

Optional, no fixed order; the final leaf is always a sop.

| SOP | When to use |
| --- | --- |
| spawn-agent | Spawn a customized CC subagent with full MCP tool access. Used by SOPs that declare execution: subagent. |

<!-- END available-tables (generated) -->