# computation-audit

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

Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested range, reproducibility, or interpretation matters. Includes symbolic, exact, finite-field, representation-theoretic, homological and numerical experiments. Do not use to verify a cited theorem, audit a proof with no load-bearing computation, pursue a whole research route, or for general programming.

## Install

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

## From README

Mathematical computation audit Separate the mathematical claim from the finite assertion actually computed (recorded as assertiontested). Default to read-only for an existing audit: no project edits or run directories. Execute and persist only within user or project authorization; otherwise report the proposed command. Specify the contract Read applicable instructions and locate authoritative code, data and outputs. State the claim, finite assertion, domain, conventions, inputs, bounds, exclusions, caps, each outcome's implications and non-claims. For reproduction, stop if no documented command exists and report reproduction command unavailable; do not guess. For authorized design or new experiments, establish the contract, code and command first. Design permission alone does not authorize execution. Route external theorem questions through the available literature-check skill (mathbox:literature-check in plugin installations), or check the exact source directly if unavailable.

## Links

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

## More from this repo

- [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
- [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