Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →yogsoth-ai/contradiction-detection
Evaluate whether a derivation chain has reached a genuine contradiction, absurdity, or inconclusive state.
Passed 20 of 22 test cases with the skill, and 18 of 22 without it.
2 fixed18 passed either way2 still failing0 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 SMT-LIB2, after adding a consistent assertion with (push) and (assert F), what standard command must be invoked to evaluate the new context satisfiability?
| Checked | Without skill | With skill |
|---|---|---|
| Executes the command '(check-sat)' | Missed | Passed |
The instructions your model reads when the skill loads.
Subagent that evaluates derivation chains to determine if a genuine logical contradiction has been reached.
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 18 / 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.