Mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Description supplied by the publisher; it is a claim, not verified evidence.
- Name
- io.github.Archerkattri/mathlas
- Listed in
- Official MCP Registry, GitHub
- Publisher
- Krishi Attri
- Latest version
- 1.5.0
- Published
- 2026-07-02
- License
- Apache-2.0
- Evidence
- Analyzed by UND Assay