1. Conduid
  2. Science
  3. Mathema
MCP server · Science

Mathema

by · github.com/tetrionlabs/mathema

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

Unclaimed ai-assisted-developmentclaim-driven-developmentcode-reviewdesign-by-contractmcp-serverproperty-based-testingsoftware-verificationspec-driven-developmentsystem-0-enginetest-driven-development
InstallView source
34Low

Scored 14 days ago · breakdown

About Mathema

Mathema is an MCP server published by tetrionlabs in the Science category: claim-Driven Development: turn software intent into verifiable evidence.

The repository has 1 stars and 0 forks, with the last commit 9 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/tetrionlabs/mathema

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Mathema

Powered by Claude · Grounded in docs

I know everything about Mathema. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

v0.6.1mathema 0.6.1 · 8 Oct 2026Documentation: https://mathema.tetrionlabs.com Install: `pip install "mathema[all]"` (recommended, with numpy, z3, MCP, coverage and mathema-language) or `pip install mathema` for the core alone; Python 3.10 to 3.14 What a record now shows…
v0.6.0mathema 0.6.0 · 24 Sep 2026First public release. mathema verifies claims about Python functions against the real code: a claim is proven where the mathematics permits, sampled where it does not, and the result is recorded as proof, evidence or an open question,…
Questions

About Mathema

How do I install Mathema?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Mathema safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Mathema still maintained?

Yes — the latest release is v0.6.1 (8 Oct 2026), and the last commit was 9 days ago. The repository has 1 stars.