# proof-audit

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

Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness. Use to verify, check, stress-test, type-check or find gaps in a single claim, proof or dependency. Do not use for a whole-manuscript referee report, inventing a substantially new proof route, or merely copyediting prose.

## Install

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

## From README

Mathematical proof audit Audit the claim actually stated, under its stated hypotheses. Do not rescue it by changing definitions, conventions, or scope. For a referee-style assessment of an entire manuscript, use the available referee skill (mathbox:referee in plugin installations). This skill remains responsible for focused mathematical obligations delegated by that review. Establish the target When auditing project files, read applicable instructions and resolve the authoritative statement, proof, status, conventions, literature record and verification commands, recording its locator or revision rather than a summary. Restate the claim as a claim card: quantified objects and exact conclusion; hypotheses and exceptional cases; source and target, coefficient domain, grading, variance, signs, finiteness/completion, equivariance, and range; the project's recorded evidence label, dependencies, and cited computation or source.

## Links

- HTML page: https://omgskills.com/library/nidrissi/mathbox/skills/proof-audit/
- 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
- [manuscript-integrate](https://omgskills.com/library/nidrissi/mathbox/skills/manuscript-integrate/index.md) — Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars