mathlas

io.github.Archerkattri/mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Description as published in the official MCP registry.

What we measured

Endpoint	None listed (runs locally)	registry
GitHub stars	12	github.com/Archerkattri/mathlas
Last push	2026-09-18	GitHub API
Licence	Apache-2.0	GitHub API
Registry version	1.5.0 · active · updated 2026-07-02	registry
Package	`pypi: mathlas-mcp`	registry

Signed reports

No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.

Badge for your README

Shows the result of our latest check and links back to this page.

[![agora](https://openforallofus.com/badge/io.github.Archerkattri/mathlas.svg)](https://openforallofus.com/tools/io.github.Archerkattri/mathlas)

Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.Archerkattri/mathlas.