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.

aboutREADMEsecurityreviews

What Mathema can touch

  • Run shell commandsNot scanned yet
  • Run dynamic codeNot scanned yet
  • Read or write filesNot scanned yet
  • Read environment and secretsNot scanned yet
  • Control a web browserNot scanned yet
  • Connect to databasesNot scanned yet
  • Read or send messagesNot scanned yet
  • Touch money or tradingNot scanned yet
  • Connect to the internetNot scanned yet

"Not seen" means our checks did not find it, and the tool may still do it. See the scan policy.

Before you install Mathema

Mathema has not been scanned by AgenticMart yet. It has no open-source license we can detect, so it can only be scanned once the maintainer claims it. Until then, here is what it can likely access and what to check before you install it.

What it can access

  • An MCP server is a program your AI app starts and talks to. A local one runs with your user's permissions: it can see the files, environment variables and network your account can.
  • Based on its description and topics, it likely needs to read or change your workspace data (docs, tickets, CRM).

Before you install

  1. Connect it to a test workspace before your real one.
  2. Pin the version you reviewed instead of always installing the latest release.
  3. Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.
  • Maintained by tetrionlabs on GitHub, 258 stars and 0 forks. Popularity is not proof of safety.
  • Last code change: Nov 1, 2026.
  • No open-source license detected: check the repository before using it commercially.
Maintainer? Claim it and scan it nowWhat our scan checks

Mathema is an open-source mcp server by tetrionlabs, written mainly in Python. Claim-Driven Development: turn software intent into verifiable evidence.

At a glance

Stars
258
Forks
0
Language
Python
License
None found
Created
Sep 2026
Last update
Nov 1, 2026
Type
MCP Server
Price
Free

Topics

ai-assisted-developmentclaim-driven-developmentcode-reviewdesign-by-contractmcp-serverproperty-based-testingsoftware-verificationspec-driven-developmentsystem-0-enginetest-driven-development

Questions about Mathema

What is Mathema?

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

Who maintains Mathema?

Mathema is maintained by tetrionlabs on GitHub (tetrionlabs/mathema). AgenticMart lists it from public repository data.

Is Mathema safe to use?

Mathema has not been scanned by AgenticMart yet. It has no open-source license we can detect, so it can only be scanned once the maintainer claims it. Until then, here is what it can likely access and what to check before you install it.

What license does Mathema use?

No standard license was detected. Check the repository before using it commercially.

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