MCP Server
mathlas
io.github.Archerkattri/mathlas
What this MCP does
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.