math-paper

What problem does it solve?

Math paper writing often suffers from inconsistent notation, fragile theorem/proof structure, broken cross-references, and missing journal/arXiv submission requirements—making manuscripts hard to read, review, and compile.

Core Features & Use Cases

• Symbol Ledger & Consistency Audits: Detect polysemy, use-before-definition, and font convention drift while monitoring LaTeX macros and extracting symbols from math-heavy Markdown.
• Theorem/Proof Structure Coaching: Improve theorem statements, recommended amsthm environment setup, proof organization, dependency extraction, and QED/end-of-proof audits.
• Equation Referencing & Submission Readiness: Validate label/ref/eqref usage, numbering discipline, and produce arXiv/journal checklist guidance (including MSC fields and double-blind hygiene), delegating adjacent tasks to other skills.

Quick Start

Ask math-paper to audit your manuscript’s notation and cross-references by having it scan your .tex/.bib files and then report the highest-risk inconsistencies and broken references.