Loading listing…
proof-checker
Security scan passedRigorous mathematical proof verification and fixing workflow.
Part of ARIS
by wanshuiyin· ResearchUnclaimed · Yours? Claim it
What proof-checker does
About
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each gap with full derivations, re-reviews, and generates an audit report. Base review is same-family provisional. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.
Install proof-checker
More from Research
Skills people install alongside proof-checker.
