Proof Checker
Adversarially reviews LaTeX math proofs, fixes gaps, and writes an audit report.
- Stars
- 18,482
- Licence
- MIT
- Files
- 1 file
What it does
When installed, the agent can read a LaTeX mathematical proof, look for logical gaps, unjustified steps, hidden assumptions and overstated claims using a fixed taxonomy of issue types, then write out fuller derivations to fix them. It re-reviews the revised proof for up to three rounds and produces an audit log and report. Its base reviews come from a same-family reviewer, so the skill labels them provisional; a semantic acceptance needs a positive review from a different model family.
Great for
- Researchers checking a theory paper's proofs before submission
- Students who want a rigorous line-by-line check of a proof
- Authors who want a documented audit trail of which steps were fixed
Skip it if
- Informal or non-mathematical writing, where the taxonomy does not apply
- Treating its output as a guaranteed correctness certificate, since base reviews are same-family and provisional
- Critical proofs without expert human review, because the reviewer can miss subtle errors
Try asking
- “Check this proof in paper/main.tex and fix any gaps”
- “Verify the proof of Theorem 3 and write an audit report”
- “Review the lemma on dominated convergence for illegal interchanges”
Install in 3 steps
- 1
Download the skill
The ZIP contains the 1 original files, the MIT licence and an attribution note.
proof-checker.zip - 2
Add it to your agent
Claude Code (all projects)
mkdir -p ~/.claude/skills && unzip proof-checker.zip -d ~/.claude/skills/Claude Code / Agent SDK (this project only)
mkdir -p .claude/skills && unzip proof-checker.zip -d .claude/skills/Claude apps (web/desktop): Settings → Capabilities → Skills → Upload skill, and choose the ZIP.
- 3
Ask for the task
No special command needed — the agent reads the skill's description and loads it when your request matches. Try one of the prompts above.
Get better results
- Point the skill at the exact .tex file or theorem so the scope of the audit is clear.
- Read PROOF_AUDIT.md and the open issue list yourself; treat provisional acceptance as a flag, not a verdict.
- Pass a reviewer override such as a different backend if you want a second model family to confirm the result.
What's inside
- SKILL.md
Redistributed unmodified from wanshuiyin/Auto-claude-code-research-in-sleep under the MIT licence. The assessment was drafted with AI from the skill's files on 2026-10-29. Skills can instruct your agent to run code — read SKILL.md and any scripts before installing.