Servidor MCP
mathlas
io.github.Archerkattri/mathlas
Qué hace este MCP
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Capacidades
Herramientas
0
herramientas
Los metadatos de las herramientas no están disponibles públicamente.
MCP Radar todavía no ha obtenido herramientas de este servidor.