Results for “theorem-proving”

7 skills

Look up and apply the cooked, indexed proof playbook built from proof-material. Use when the user is proving a theorem, planning a proof, seeking reusable proof moves by task shape, assumptions, tags, desired move, or material source ID, or adapting cooked local moves and macro strategies with public source attribution.

More results

Runs a ten-round adversarial gauntlet to pressure-test absolute claims, refining them with explicit boundaries and an Oracle synthesis.

sakamoto-family-smile

Runs commands, inspects git state, debugs CI failures, and makes narrow fixes with exact proof of what was executed and verified.

Audits hidden assumptions in decisions by classifying them into four types, ranking by fragility and impact, and rebuilding conclusions from verified premises. Auto-detects Chinese or English.

Executes terminal commands, inspects git state, debugs CI or builds, and makes narrow fixes with exact proof of what was executed and verified.

Audits hidden assumptions in decisions by classifying them, ranking by fragility and impact, and rebuilding conclusions from verified premises. Auto-detects Chinese or English input.

verification-before-completion

Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.