Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →yogsoth-ai/counterexample-generation
Systematically generate counterexamples (monsters) to a given claim using diverse heuristic strategies.
Passed 0 of 23 test cases with the skill, and 23 of 23 without it.
0 fixed8 passed either way14 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
The instructions your model reads when the skill loads.
Subagent that produces counterexamples to a claim using boundary cases, degenerate cases, and domain-specific heuristics.
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. |
test cases passed, vs 23 / 23 without
Published skills whose descriptions closely match this one, with their headline benchmark lift.
More skills from the same source and nearby in the registry, with their headline benchmark lift.