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.