openmathmodel / open-math-harness
git clone https://github.com/openmathmodel/open-math-harness.git
v0.41.0 · 10d ago
Rust runtime for Open Math OS, providing a kernel, services, and agents for AI-assisted mathematical research with Lean-checked proofs.
Why you might care
Useful for mathematicians and developers interested in agent-based math research tools, with a capability-based microkernel that limits agent authority and Lean verification of candidate proofs. The full runtime depends on the hosted Open Math OS deployment, and the repo only builds and runs a small self-contained example for now.
+3
stars, 24h · #10,274
+28
stars, 7 days · #9,108
+212
stars, 30 days · #4,797
212
★ total · +15% this week
29
forks · 3 open issues
Star history (as recorded here)
LanguageRust
LicenseApache-2.0
Created2026-10-22 (11d ago)
Last push9d ago
Watchers0
OwnerOrganization
Links
- GitHub: github.com/openmathmodel/open-math-harness
- Homepage: https://www.openmathmodel.org/
- Releases · Issues · Hacker News mentions
README
Loading README…
Blurb generated by claude-haiku-5-5 4d ago. Star deltas marked ~ are extrapolated from partial history.