Verify LaTeX mathematical proofs and generate correction patch plans.
npx skills add https://github.com/dogekiki/SP-test --skill proof-checker-dogekiki
Please help me install this Agent Skill. Skill: proof-checker Source: https://github.com/dogekiki/SP-test/tree/main/.trae/skills/proof-checker Command: npx skills add https://github.com/dogekiki/SP-test --skill proof-checker-dogekiki
This Skill addresses the high risk of logical errors, unjustified assertions, and hidden assumptions in complex mathematical proofs by providing an automated, cross-model adversarial review process.
Use the proof-checker skill to verify the mathematical proof contained in main.tex.
High-intent search queries and answers about installing and using this skill.
Verify a LaTeX mathematical proof by applying cross-model adversarial review and a proof-obligation ledger to track theorems, ensuring all logical steps and asymptotic claims are uniformly sound and fully discharged.
A proof-obligation ledger systematically tracks every theorem, lemma, and assumption during a mathematical audit to ensure all mathematical obligations are discharged and no hidden assumptions remain in the LaTeX document.
Automatically fix unjustified assertions and quantifier errors using a deep-fix workflow that generates precise LaTeX patch plans to resolve identified issues, followed by multi-round re-verification to ensure convergence.
Auditing complex algorithmic proofs requires integration with external reasoning backends and file-editing tools to execute the multi-round adversarial review and automated correction cycles on your LaTeX documents.
Check asymptotic claims for uniformity by running a rigorous, multi-round mathematical proof verification that identifies illegal interchanges and quantifier errors within your LaTeX-based research papers.
Avoid automated proof verification when your technical documentation lacks theorem-heavy mathematical content or LaTeX formatting, as the adversarial review and obligation tracking require formal proof structures to function.
sjtuytcAudit LaTeX mathematical proofs for logical gaps and generate issue reports.
caw111Verify LaTeX mathematical proofs, fix gaps, and generate audit reports.
Mang30Verify and repair LaTeX mathematical proofs with cross-model adversarial review and audit reports.
parcadeiVerify analyticity via Cauchy-Riemann equations and compute power series expansions.
