MCP server
mathlas
By archerkattri
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Listed on
- Official MCP Registry
- Glamavia MCP Toplist
- mcp.sovia MCP Toplist
- PulseMCPvia MCP Toplist
First seen 2 Oct 2026. One server, whatever directories list it: each directory listing keeps its own page and history.
4
Directories
3 via MCP Toplist
-
Tools
No tool list captured yet
F
ToolBench grade
Arcade’s grade, not ours
12
GitHub stars
From MCP Toplist
Tools
No tool list captured yet.
| Directory | Listing | Tier | First seen |
|---|---|---|---|
| Official MCP Registry | io.github.Archerkattri/mathlas | - | 2 Oct 2026 |
| Glama | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||
| mcp.so | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||
| PulseMCP | Listed there according to MCP Toplist’s dataset; not collected by InvokeRank. | ||