← All MCP servers
MCP server
io.github.Archerkattri/mathlas
mcp:archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Verdict
Not analyzed
Indexed from the registries, but not analyzed yet. Lineage and listings below are current.