Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →yogsoth-ai/claim-negation
Formally negate the core claim, producing the logical complement for reductio testing.
Passed 20 of 22 test cases with the skill, and 19 of 22 without it.
2 fixed18 passed either way1 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 2 test cases the skill fixed. Same model, same prompt, with and without the skill.
In the Z3 Python API, what method on a `z3.Solver` instance is called to execute the solver and determine satisfiability?
| Checked | Without skill | With skill |
|---|---|---|
| Include `solver.check()` in the Z3 Python code. | Missed | Passed |
The instructions your model reads when the skill loads.
Subagent that takes a claim P and produces its formal negation ~P, ensuring the negation is logically precise and preserves scope.
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 19 / 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.