# manuscript-integrate

> Claude/Codex skill by [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars · Updated 2026-10-08

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

```sh
git clone https://github.com/nidrissi/mathbox /tmp/mathbox && ln -s /tmp/mathbox/skills/manuscript-integrate ~/.claude/skills/manuscript-integrate
```

## From 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.

## Links

- HTML page: https://omgskills.com/library/nidrissi/mathbox/skills/manuscript-integrate/
- GitHub: https://github.com/nidrissi/mathbox
- Author: [@nidrissi](https://omgskills.com/library/nidrissi/index.md)

## More from this repo

- [computation-audit](https://omgskills.com/library/nidrissi/mathbox/skills/computation-audit/index.md) — Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [literature-check](https://omgskills.com/library/nidrissi/mathbox/skills/literature-check/index.md) — Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [proof-audit](https://omgskills.com/library/nidrissi/mathbox/skills/proof-audit/index.md) — Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars