Verify and repair LaTeX mathematical proofs with audit reports.
npx skills add https://github.com/duypham2801/ThS_LLM --skill proof-checker-duypham2801
Please help me install this Agent Skill. Skill: proof-checker Source: https://github.com/duypham2801/ThS_LLM/tree/main/.claude/skills/proof-checker Command: npx skills add https://github.com/duypham2801/ThS_LLM --skill proof-checker-duypham2801
It helps you rigorously verify a mathematical proof, pinpoint gaps (including hypothesis misuse and illegal interchanges), and produce repaired derivations that are re-checked until the proof meets objective acceptance gates.
Use the proof-checker skill to check the LaTeX proof in your main .tex file by asking it to verify the proof and output a full audit report.
High-intent search queries and answers about installing and using this skill.
To verify a mathematical proof in LaTeX, the system reads your .tex content, identifies logical gaps through structured cross-model review, and generates a detailed audit report. It checks proof obligations, quantifier scope, and interchange safety.
Mathematical proof verification detects logical, analytic, parameter-scope, and probability-mode failures. This includes unjustified assertions, quantifier mistakes, missing domination for DCT/Fubini/Leibniz interchanges, and uniformity ambiguity across theorem and lemma derivations.
Yes, you can automatically fix missing steps in a LaTeX proof. The tool proposes fix strategies like adding derivations or strengthening assumptions, re-derives corrected steps with full mathematical derivations, and re-reviews the proof until it meets objective acceptance gates.
You generate an audit report for theorem and lemma proofs by running the verification workflow on your LaTeX research paper. The resulting document provides obligation accounting and a traceable audit trail showing what was verified, what remains assumed, and what changed.
Yes, proof verification works with probability theory and uniform convergence checks. It specifically validates uniformity ambiguity and probability-mode failures, ensuring missing domination conditions are caught for DCT, Fubini, and Leibniz interchange safety.
TabithaFannyGenerate and validate mathematical proofs for machine learning theorems in Markdown.
olaTechieOrchestrate academic research workflows from exploration to publication-ready manuscripts.
raja21068Verify and repair LaTeX mathematical proofs with audit reports.
parcadeiSolve proof-theory problems using Z3 for automated deduction and verification.
