proof-checker

Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (Codex GPT-5.4 xhigh), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when the user says “check proof”, “verify proof”, “proof check”, or otherwise requests rigorous mathematical verification of a theory paper or preprint.