audit-math

What problem does it solve?

Auditors can systematically identify inconsistencies, missing justifications, and cross-reference gaps in mathematical proofs and formal environments, enabling rigorous verification.

Core Features & Use Cases

• Adversarial audit workflow for mathematical content, including proofs, definitions, assumptions, and theorem environments.
• Section-level analysis across main text and appendices, with actionable findings and recommendations for clarity and correctness.
• Use Case: Apply to a section like a full appendix containing formal proofs to surface skipped steps and labeled references that fail cross-references.

Quick Start

Provide the target LaTeX section (e.g., main.tex) to begin auditing.