Mathema MCP Server
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.
| Name | Stars | Licence | Last updated | Scan |
|---|---|---|---|---|
| Mathema (this page) tetrionlabs | 258 | None found | Nov 1, 2026 | Not scanned yet |
| Hexstrike AI 0x4m4 | 13k | MIT | Aug 3, 2026 | Scanned, no flagged issues |
| Viper FunnyWolf | 5.3k | None found | May 31, 2026 | Not scanned yet |
| Open Ontologies fabio-rovai | 2.7k | MIT | Oct 30, 2026 | Scanned, no flagged issues |
| Qu1cksc0pe CYB3RMX | 2.1k | GPL-3.0 | Sep 18, 2026 | Scanned, no flagged issues |
| Cve MCP Server mukul975 | 1.7k | Apache-2.0 | Oct 1, 2026 | Scanned, no flagged issues |