Repository profile

tetrionlabs / mathema

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

  • ai-assisted-development
  • claim-driven-development
  • code-review
  • design-by-contract
  • mcp-server
  • property-based-testing
  • software-verification
  • spec-driven-development
  • system-0-engine
  • test-driven-development

Repository overview

Public GitHub metrics and OpenPulse observations
GitHub stars153
Public forks0
Growth · 24h+11 stars
Growth · 7dBuilding history
Growth · 30dBuilding history

Star activity

Last 7 days
16 Oct4 observed days · gaps preserved19 Oct

Observed star growth

Samples or dated GitHub history
24h +11 stars Measured from observations 18 Oct 2026 → 19 Oct 2026
7d Building history More observations needed — → 19 Oct 2026
30d Building history More observations needed — → 19 Oct 2026