← Back to the index
Quiet · Local · PyPI
mathlas NEW
io.github.Archerkattri/mathlas copy
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
CategoryWeb & Search
TransportLocal
Registry freshnessQuiet
Version1.5.0
Distributionpypi
MaintainerArcherkattri github ↗
Install & connect
Install · PyPIuvx
$ uvx mathlas-mcpPublisher-declared package identifier. Verify current package, permissions and client configuration before running; execution has not been tested here.
Freshness
Quiet · no update in months
Last registry update 4mo ago · published Jul 2, 2026.
Registry position over time
Where mathlas sits in the freshest-first index, tracked daily — new to the tracked index since the prior run. position movement fills in as the index runs daily.
Current position#48212
Best position#48212
Since prior runNEW
About this server
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Local — runs on your machine over stdio (npx / uvx / docker / bundle). Indexed under Web & Search, alongside 11152 other servers. Health is freshness-derived from the registry's last-update timestamp; this index does not run the server, so capabilities and tool lists live in the source repository.
More in Web & Search 11153
Iran EarthquakesLocalIran Software DownloadsLocalWebinarKit MCP by usefulapiRemoteGoTo Webinar MCP by usefulapiRemoteLiveWebinar MCP by usefulapiRemoteSlottable MCP by usefulapiRemoteBrandboom MCP by usefulapiRemoteIran AppsLocal
Browse all 11152 in Web & Search →