YijunYuan/math-paper-audit

Seven agent skills for auditing mathematical manuscripts: proofs, references, counterexamples, computations, and independent review.