io.github.Archerkattri/mathlas
Search & Web
Local
Official
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
How to connect
1
GitHub
Install from https://github.com/Archerkattri/mathlas and add the server to your MCP client configuration (see repository README).
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.