MCP MCP server · io.github.Archerkattri
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
- host stars
- 12
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 0
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Packaged as
- pypi:mathlas-mcp
- Install
- uvx mathlas-mcp
- Needs
- 2 environment variables
- Version
- 1.5.0
- Last release
- 2026-07-02