manuscript-integrate
Integrate an already validated mathematical result, correction, citation, or response to referee comments into an authoritative LaTeX manuscript while preserving hypotheses, evidence status, notation, and dependencies. Use only when the user explicitly requests manuscript integration. Do not use to invent a proof or to perform routine copyediting.
Install
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/manuscript-integrate" into this agent's normal skills directory: call the OMGSkills MCP get_install_plan tool for your agent and run the script it returns (it installs only the pinned commit and verifies SKILL.md), 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/manuscript-integrate ~/.claude/skills/manuscript-integrateFrom README
Manuscript integration Transfer validated mathematics into the live manuscript. Integration does not supply mathematical validation or human review. Preconditions Determine repository root, inspect the worktree, and read applicable instructions. Resolve the authoritative manuscript, proof source, current status/claims, conventions, literature record, bibliography, and verification commands. Identify the exact validated result and its evidence/review status. If .mathbox/ is present, use the available research-state workflow to check the current claim revision, artifact freshness and dependency closure. Read the proof itself; a generated proved label does not validate it. To integrate a result as established, require current durable evidence for its exact statement and scope: proved, externally proved, or computationally verified within the stated range, with no active failed review. A label alone is insufficient. Block promotion of stale, heuristic, unvalidated or gappy input.
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...
proof-audit
Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.