Update to Mathbox

{
  "description": "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. Do not invent, replace, shorten, or substantively repair proofs.",
  "included_files": [
    {
      "relative_path": "agents/openai.yaml",
      "size_in_bytes": 275
    },
    {
      "relative_path": "evals/evals.json",
      "size_in_bytes": 2183
    },
    {
      "relative_path": "evals/trigger-evals.json",
      "size_in_bytes": 1250
    },
    {
      "relative_path": "references/checklist.md",
      "size_in_bytes": 1495
    }
  ],
  "name": "proofread-math",
  "skill_md_contents": "---\nname: proofread-math\ndescription: >-\n  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. Do not invent, replace, shorten, or substantively repair proofs.\n---\n\n# Conservative mathematical proofreading\n\nProofread; do not re-author. Preserve the mathematics, notation, macros,\nauthorial voice, language variant, and project conventions.\n\n## Select the mode\n\n- **Edit mode:** the caller explicitly asks to correct a file or pasted text.\n- **Review-only mode:** the caller asks for findings, comments, or a check\n  without edits.\n- **Self-review mode:** invoked after a broader edit; inspect only the changed\n  hunks and enough context to resolve notation, references, and prose. Correct\n  routine issues only in files already changed by the task.\n\nDo not default from review-only to editing. For pasted LaTeX in edit mode,\nreturn corrected LaTeX. For repository files, do not rewrite unrelated text.\nIf coverage is partial, state the exact scope reviewed.\n\n## Workflow\n\n1. Read applicable instructions, nearby definitions/statements, macros, labels,\n   and neighboring prose needed to judge the scope.\n2. Establish local English, theorem, notation, punctuation, and formatting\n   conventions.\n3. Review prose and display integration.\n4. Review LaTeX structure, environments, delimiters, labels, references,\n   citations, and custom commands.\n5. Review local mathematical consistency without attempting a referee-level\n   proof audit.\n6. Apply only minimal, high-confidence edits; do not normalize equivalent LaTeX\n   or replace correct wording by preference.\n7. Re-read every changed sentence/display in context.\n8. Run documented, proportionate validation when available; never invent a\n   build or install dependencies.\n\nChecking citation syntax, keys, and local consistency does not authorize a\nsubstantive source lookup. If the caller asks whether a cited mathematical\nsource actually supports a claim, treat that question as outside proofreading\nand route it through the available `literature-check` skill\n(`mathbox:literature-check` in plugin installations).\n\nThe detailed checklist is in [checklist.md](references/checklist.md).\n\n## Mathematical-token policy\n\nA change to an operator, relation, sign, coefficient, variable, index, exponent,\nsubscript, superscript, quantifier, hypothesis, conclusion, domain, codomain, or\nproof step is a **mathematical-token change**.\n\nMake one only when the intended correction is uniquely forced by immediate\ncontext, isolated and typographical, and does not require a new argument or\nalter downstream reasoning. List every such change explicitly.\n\nOtherwise leave the source unchanged and report the issue. A repeated pattern\nalone does not justify changing a sign or index. An unbound symbol may signal a\nmissing definition. A proof gap is not a proofreading error; use the\navailable `proof-audit` skill (`mathbox:proof-audit` in plugin installations)\nwhen the caller wants investigation.\n\n## Reviewer notes\n\nReport unresolved issues outside the manuscript by default. Add inline comments\nonly when explicitly requested, using a compiler-safe project convention or:\n\n```latex\n% REVIEWER NOTE: [precise issue and what must be verified]\n```\n\nDo not introduce rendered TODO commands unless the project already requires\nthem.\n\n## Output\n\nFor edited repository files, report:\n\n```text\nProofread: [file or scope]\n- Routine edits: [categories or none]\n- Mathematical-token changes: [location and exact change or none]\n- Unresolved issues: [location and issue or none]\n- Validation: [command/result or not run with reason]\n- Coverage: [only when partial]\n```\n\nFor pasted text, return corrected source first, then the same categories. For\nreview-only mode, order findings by mathematical/meaning-changing risk, LaTeX\nerrors, then language/typography. If no objective issue remains, say so and make\nno change.\n"
}