TrendingRisingGemsRadarToolboxCategories

Repository

tetrionlabs/mathema

Claim-Driven Development: turn software intent into verifiable evidence.

Open source WebsiteAI & agents Python

Stars

148

Today

+9

last 24 hours

This week

+9

Forks

0

Clone

git clone https://github.com/tetrionlabs/mathema.git

Star growth

2026-10-18: +9 (today so far)2026-10-18todaymax +9/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
#ai-assisted-development#claim-driven-development#code-review#design-by-contract#mcp-server#property-based-testing#software-verification#spec-driven-development#test-driven-development#system-0-engine
Created
2026-09-22
Last commit
2026-10-14
Gained since tracking
+9

Similar in AI & agents

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself