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
7Stars on the repository
11Mods indexed here, across every type
3d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
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
Agent Claude Code
Review one Co-Mathematician workstream report for logical correctness, proof gaps, assumptions, and dependency structure.
7 3d ago A 28 tokens
original MIT
Agent Claude Code
Explore proof routes, lemmas, reductions, examples, and proof gaps for one approved Co-Mathematician workstream.
7 3d ago A 30 tokens
original MIT
Agent Claude Code
Synthesize reviewer-approved Co-Mathematician workstream reports into a working-paper draft without adding new claims.
7 3d ago A 27 tokens
original MIT