Agent Claude Code
Stress-test one Co-Mathematician workstream report for counterexamples, hidden assumptions, shortcuts, and premature claims.
7 3d ago A 31 tokens
original MIT
Agent Claude Code
Check one Co-Mathematician workstream report for provenance, citations, and source-to-claim alignment.
7 3d ago A 26 tokens
original MIT
Agent Claude Code
Run scoped computations, examples, counterexample searches, and reproducibility checks for one approved Co-Mathematician workstream.
7 3d ago A 32 tokens
original MIT