Mathema MCP Server

by tetrionlabs• 258•• Not scanned yet•Claim this listing•Request removal
Security & Testingai assisted developmentclaim driven developmentcode reviewdesign by contractmcp server

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

Mathema is an open-source mcp server by tetrionlabs, written mainly in Python, with 258 GitHub stars. Its code was last updated Nov 1, 2026.

Read the README on GitHub

This repository has no open-source license we can detect, so we don't republish its README here.

Mathema alternatives

View more →

Similar mcp servers in Security & Testing, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

NameStarsLicenceLast updatedScan
Mathema (this page)
tetrionlabs
258None foundNov 1, 2026Not scanned yet
Hexstrike AI
0x4m4
13kMITAug 3, 2026Scanned, no flagged issues
Viper
FunnyWolf
5.3kNone foundMay 31, 2026Not scanned yet
Open Ontologies
fabio-rovai
2.7kMITOct 30, 2026Scanned, no flagged issues
Qu1cksc0pe
CYB3RMX
2.1kGPL-3.0Sep 18, 2026Scanned, no flagged issues
Cve MCP Server
mukul975
1.7kApache-2.0Oct 1, 2026Scanned, no flagged issues