proofread-math
Conservatively proofread mathematical prose and LaTeX for grammar, typography, syntax, notation consistency, cross-references, and uniquely forced local mathematical typos. Use for explicit math-proofreading requests and final self-review of theorem-, proof-, or equation-heavy edits. Not for correctness audits, referee reports, or source verification.
Install
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/proofread-math" into this agent's normal skills directory: use the OMGSkills MCP get_skill tool, install only the pinned_install commit and path, verify SKILL.md against pinned_install.skill_md_sha, and stop if MCP or the pin is unavailable. Do not overwrite or change existing skills without asking me.
Manual command
git clone https://github.com/nidrissi/mathbox /tmp/mathbox && ln -s /tmp/mathbox/skills/proofread-math ~/.claude/skills/proofread-math
From README
Conservative mathematical proofreading Proofread; do not invent, replace, shorten or substantively repair proofs. Preserve the mathematics, notation, macros, authorial voice, language variant, and project conventions. Select the mode Edit mode: the caller explicitly asks to correct a file or pasted text. Review-only mode: the caller asks for findings, comments, or a check without edits. Self-review mode: invoked after a broader edit; inspect only the changed hunks and enough context to resolve notation, references, and prose. Correct routine issues only inside changed hunks; report issues elsewhere. When corrections are not explicitly requested, default to review-only mode. For pasted LaTeX in edit mode, return corrected LaTeX. For repository files, do not rewrite unrelated text. If coverage is partial, state the exact scope reviewed. Workflow Read applicable instructions, nearby definitions/statements, macros, labels, and neighboring prose needed to judge the scope.
More from this repo
computation-audit
Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
literature-check
Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
manuscript-integrate
Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
