Back to code-only MCP servers

mathema

active

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

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/tetrionlabs/mathema
License: NOASSERTION
Last update: 2026-11-11
GitHub stars: ★ 189
Homepage: mathema.tetrionlabs.com

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

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.