MCP-Server
mathlas
io.github.Archerkattri/mathlas
Was dieses MCP kann
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Funktionen
Tools
0
Tools
Tool-Metadaten sind nicht öffentlich verfügbar.
MCP Radar hat von diesem Server noch keine Tools abgerufen.