← all MCP servers
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
install
pypi · stdio
uvx mathlas-mcp
details
- version
- 1.5.0
- license
- Apache-2.0
- stars
- 9
- last commit
- 2026-07-25
- published
- 2026-07-02
last synced 2026-07-29