eokahya / claude-audits-quantum-gravity

Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible checks. It found a sign error and a missing term; the physical conclusion survived.

sympy / sympy

A computer algebra system written in pure Python

kennethreitz / pytheory

Music Theory for Humans.

devitocodes / devito

DSL and compiler framework for automated finite-differences and stencil computation

morluto / jacobian

Composable mathematics tools for agents

aadya940 / scikit-verify

Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches