tetrionlabs / mathema
git clone https://github.com/tetrionlabs/mathema.git
v0.6.2.1 · 9d ago
Claim-Driven Development: turn software intent into verifiable evidence.
+13
stars, 24h · #2,689
+~61
stars, 7 days · #3,350
+~260
stars, 30 days · #3,053
205
★ total · +42% this week
0
forks · 5 open issues
Star history (as recorded here)
LanguagePython
License—
Created2026-09-22 (1mo ago)
Last push3d ago
Watchers5
OwnerOrganization
GitHub topics
ai-assisted-developmentclaim-driven-developmentcode-reviewdesign-by-contractmcp-serverproperty-based-testingsoftware-verificationspec-driven-developmentsystem-0-enginetest-driven-development
Links
- GitHub: github.com/tetrionlabs/mathema
- Homepage: https://mathema.tetrionlabs.com
- Releases · Issues · Hacker News mentions
README
Loading README…