by tetrionlabs · MCP Server · ★ 282
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
pip install mathema # core: the derive route and the spec store
pip install "mathema[all]" # numpy, z3, MCP server, coverageTaken from the project's README on GitHub.
None of the 42 rules matched — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against 42 published rules built on the SlowMist agent-security taxonomy, refreshed every 8 hours.
The quality score combines nine heuristic checks of the repo and its README: completeness, clarity, specificity, examples, structure, agent readiness, step-by-step content, instruction quality and security notes. It rates how well the project explains itself to an agent, not the code.
| Stars | 282 |
| Forks | 0 |
| Language | Python |
| Category | MCP Server |
| Quality Score | 58/100 |
| Open Issues | 5 |
| Last Updated | 2026-11-02 |
| Created | 2026-09-22 |
| Platforms | mcp, python |
| Est. Tokens | ~18k |
mathema Know what your code actually guarantees. AI has changed the cost of producing code without changing the cost of knowing whether that code is correct, and so more of it now arrives than anyone can review line by line.
Looking for a mathema alternative? If you're comparing mathema with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
23 Claude Code plugins: TDD enforcement hooks, git/PR workflows, spec-driven development, code review, project
OpenSpec Plus — Agentic skills that enhance OpenSpec's Spec-Driven Development through better discovery, requi
Autoprompt is a coding-agent skill that cuts failures by 45% on agentic coding tasks.
Frozen — compressed spec-driven development plugin for Claude Code. Still works; active development moved to J
An old coder's strategy for the agent era: don't read the code — make it run the gauntlet. Evidence-first deve
Unity MCP Server — 268 tools for AI-assisted game development. Connect Claude, Cursor, or any MCP client to Un
Explore other popular mcp server tools:
Grades come from a rule-based scan built on the SlowMist agent-security taxonomy: 42 published rules, covering credential harvesting, data exfiltration, curl | sh installers and more. It is a first-layer scan, not a manual audit — we say so rather than overstate it.
The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.
Sources & who's responsible: