sk Skill · wanshuiyin
proof-checker
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.
Open on skills.sh ↗read 2026-09-15
- installs 8w
- 179
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 11
jsonmarkdownbashPython
- Host repository
- wanshuiyin/Auto-claude-code-research-in-sleep
- Installs, lifetime
- 371
- Installs, 8 weeks
- 179
- Allowed tools
- Bash(*), Read, Grep, Glob, Write, Edit, Agent, mcp__codex__codex, mcp__codex__codex-reply, mcp__manual_review__review, mcp__manual_review__review_reply
- Host stars
- 16k
- Host language
- Python