Verify and repair LaTeX mathematical proofs with audit reports.
npx skills add https://github.com/raja21068/AutoResearch --skill proof-checker-raja21068
Please help me install this Agent Skill. Skill: proof-checker Source: https://github.com/raja21068/AutoResearch/tree/main/skills/aris/proof-checker Command: npx skills add https://github.com/raja21068/AutoResearch --skill proof-checker-raja21068
It solves the problem of unreliable or incomplete mathematical writing by rigorously checking whether every step in a LaTeX proof is justified under the stated assumptions, then repairing any gaps.
Use case examples:
Use the proof-checker skill to check and repair the proof in your LaTeX file by providing the path to the .tex file containing the proof.
High-intent search queries and answers about installing and using this skill.
To verify a LaTeX mathematical proof, you can use a proof-checker to read the source, build an obligation ledger, and cross-review for missing hypothesis discharge, quantifier errors, and illegitimate interchanges before generating a formal audit report.
Proof-obligation accounting is a verification mechanism that builds a dependency ledger to ensure each theorem is supported, checking asymptotic reasoning by tracking parameter dependence and uniformity scope to prevent hidden assumptions in theory papers.
Yes, you can detect illegitimate interchanges of limits, expectations, integrals, and derivatives by running an adversarial cross-model review that identifies missing domination or integrability conditions within your LaTeX proof.
You can fix missing uniformity scope and quantifier errors by applying iterative gap-fixing plans that re-review the mathematical proof until convergence, outputting a re-checked fixed proof with before/after logic documentation.
No specific LaTeX packages or external dependencies are required; the proof verification workflow operates by parsing your standard LaTeX source file to construct a symbol table and run iterative cross-model reviews.
The best way to audit micro-claims in a theory paper is to force micro-claim–level justification through a structured issue taxonomy, ensuring standard or immediately-following results are rigorously checked against stated assumptions.
Chanw-researchIdentify and fix gaps in LaTeX mathematical proofs via cross-model adversarial review.
jandan138Convert paper outlines into complete LaTeX manuscripts with sections, figures, and bibliography.
sjtuytcAudit LaTeX mathematical proofs for logical gaps and generate issue reports.
parcadeiComputes Hilbert space problems using symbolic computation and theorem proving with sympy and z3.
