Loading MCP servers…
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
This server publishes no hosted endpoint. Run one of its packages locally.
mathlas-mcp · pypi 1.5.0 · stdio
claude mcp add --transport stdio mathlas -- uvx mathlas-mcp==1.5.0