Sign in Sign up
go

github.com/tamnd/math2-agent

Toolchain for Math 2.0. The m2 binary builds, checks and audits the math2 graph, ingests sources, runs Lean and serves the API and the research agents.

go View on Go github View on Github

Activity

Latest release
2h ago
Total releases
66
Cadence
~daily
Last 12 months
66

Reach

Stars
0

Details

First release
Oct 25, 2026
Releases
Version Released
v0.5.5 patch
v0.5.4 patch
v0.5.3 patch
v0.5.2 patch
v0.5.1 patch
v0.5.0 minor
v0.4.15 patch
v0.4.14 patch
v0.4.13 patch
v0.4.12 patch
v0.4.11 patch
v0.4.10 patch
v0.4.9 patch
v0.4.8 patch
v0.4.7 patch
v0.4.6 patch
v0.4.5 patch
v0.4.4 patch
v0.4.3 patch
v0.4.2 patch
v0.4.1 patch
v0.4.0 minor
v0.3.8 patch
v0.3.7 patch
v0.3.6 patch
v0.3.5 patch
v0.3.4 patch
v0.3.3 patch
v0.3.2 patch
v0.3.1 patch
v0.3.0 minor
v0.2.16 patch
v0.2.15 patch
v0.2.14 patch
v0.2.13 patch
v0.2.12 patch
v0.2.11 patch
v0.2.10 patch
v0.2.9 patch
v0.2.8 patch
v0.2.7 patch
v0.2.6 patch
v0.2.5 patch
v0.2.4 patch
v0.2.3 patch
v0.2.2 patch
v0.2.1 patch
v0.2.0 minor
v0.1.12 patch
v0.1.11 patch
1–50 of 66