math-ai-org's tracked open-source repos, sorted by stars.
MathCode: A Frontier Mathematical Coding Agent
