listed
io.github.Archerkattri/mathlas
io.github.Archerkattri · io.github.archerkattri
MCP
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
MCP
local
pypi mathlas-mcp
uvx
ATTRIBUTION
- mcp · last seen 2026-09-24T02:49:10.927673Z · fetched 2026-09-24T02:49:10.927673Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.