computation-audit
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
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/computation-audit" into this agent's normal skills directory: use the OMGSkills MCP get_skill tool, install only the pinned_install commit and path, verify SKILL.md against pinned_install.skill_md_sha, 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/computation-audit ~/.claude/skills/computation-auditFrom 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.
More from this repo
literature-check
Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
manuscript-integrate
Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
proof-audit
Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.