Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →yogsoth-ai/counterexample-heuristics
Generate counterexamples (monsters), attempt monster-barring, incorporate surviving counterexamples as lemma refinements (Lakatos method).
Passed 19 of 22 test cases with the skill, and 16 of 22 without it.
and 1 more in the full report
4 fixed15 passed either way2 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 4 test cases the skill fixed. Same model, same prompt, with and without the skill.
What is the initial input required before any counterexample generation or definition tightening can begin in the heuristic workflow?
| Checked | Without skill | With skill |
|---|---|---|
| Receive the claim or theorem from strategy. | Missed | Passed |
The instructions your model reads when the skill loads.
counterexample-generation to produce candidate monstersmonster-barring-attempt — can it be excluded legitimately?
b. If barring succeeds: record as excluded, note narrowed scope
c. If barring fails: counterexample is genuineclaim-refinement:
Optional, no fixed order; the final leaf is always a sop.
| SOP | When to use |
|---|---|
| claim-refinement | Propose a refined claim that survives counterexamples while preserving maximum explanatory power (Lakatos lemma-incorporation). |
| counterexample-generation | Systematically generate counterexamples (monsters) to a given claim using diverse heuristic strategies. |
| monster-barring-attempt | Attempt to exclude a counterexample as illegitimate by tightening definitions or preconditions (Lakatos monster-barring). |
test cases passed, vs 16 / 22 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.