mathema
Claim-Driven Development: turn software intent into verifiable evidence.
- 208 stars
- 0 forks
- 5 open issues
- Language: Python
- License: NOASSERTION
- updated
Install
local · uvx (python)claude mcp add mathema -- uvx mathema{
"mcpServers": {
"mathema": {
"command": "uvx",
"args": ["mathema"]
}
}
}{
"mcpServers": {
"mathema": {
"command": "uvx",
"args": ["mathema"]
}
}
}- Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).
- Replace any <placeholder> values with your API keys or paths.
- Restart Claude. The MCP server and its tools appear automatically.
Package name inferred from the repository name. Verify it exists on PyPI, or clone https://github.com/tetrionlabs/mathema and follow its README.
MCP Servers overview
What people ask about mathema
What is tetrionlabs/mathema?
tetrionlabs/mathema is mcp servers for the Claude AI ecosystem. Claim-Driven Development: turn software intent into verifiable evidence. It has 208 GitHub stars and its last recorded update is dated 2026-10-20.
How do I install mathema?
You can install mathema by cloning the repository (https://github.com/tetrionlabs/mathema) or following the README instructions on GitHub. ClaudeWave also provides quick install blocks on this page.
Is tetrionlabs/mathema safe to use?
Our security agent has analyzed tetrionlabs/mathema and assigned a Trust Score of 72/100 (tier: OK). See the full breakdown of passed checks and flags on this page.
Who maintains tetrionlabs/mathema?
tetrionlabs/mathema is maintained by tetrionlabs. The last recorded GitHub activity is dated 2026-10-20, with 5 open issues.
Are there alternatives to mathema?
Yes. On ClaudeWave you can browse similar mcp servers at /categories/mcp, sorted by popularity or recent activity.