Verify and repair LaTeX mathematical proofs with cross-model adversarial review and audit reports.
npx skills add https://github.com/Mang30/myskills --skill proof-checker-mang30
Please help me install this Agent Skill. Skill: proof-checker Source: https://github.com/Mang30/myskills/tree/main/skills/proof-checker Command: npx skills add https://github.com/Mang30/myskills --skill proof-checker-mang30
It helps you rigorously verify a mathematical proof, detect gaps and hidden assumptions, and produce corrected derivations with an explicit audit record you can trust.
Use the proof-checker skill to check and fix a LaTeX proof by running proof-checker on your paper’s main .tex file.
High-intent search queries and answers about installing and using this skill.
Verify a LaTeX mathematical proof by running cross-model adversarial review to detect logical gaps, check hypothesis discharge, and generate full derivations for missing steps, producing a corrected proof with an audit trail.
Proof-obligation accounting builds a dependency DAG, assumption ledger, and symbol/type table to track quantifier and limit-order maps, ensuring uniformity and parameter dependence tracking throughout the mathematical auditing process.
Yes, you can fix gaps in a theory paper proof using deep-fix iterations that generate complete derivations for each issue and re-check corrections until the verification workflow converges and passes acceptance gates.
Yes, the proof verification process supports counterexample red-teaming and interchange audits by enforcing objective acceptance gates that check interchange legality, limit-order maps, and fatal or critical issue counts to ensure proof validity.
Automated proof checking for complex mathematical derivations requires a structured LaTeX .tex file input and relies on iterative deep-fix convergence, meaning unresolved fatal or critical issues will halt the acceptance gate and prevent validation.
sjtuytcAudit LaTeX mathematical proofs for logical gaps and generate issue reports.
goupup-aiVerify LaTeX mathematical proofs for logical gaps and invalid interchanges.
caw111Verify LaTeX mathematical proofs, fix gaps, and generate audit reports.
parcadeiSolve proof-theory problems using Z3 for automated deduction and verification.
