domains / families / research / proof-checker

proof-checker

authentic

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.

When to use

• verify proof
• proof check
• check this proof
• rigorous mathematical verification of a theory paper
• fixing proof gaps
• generating audit report

When not to use

• wrapping in /loop
• wrapping in /schedule
• wrapping in CronCreate

Skill page

Source