M math-ai-org.github.io MathCode, Mathematical Coding Agent 118 points homarp 2 months ago 29 comments