mathlas

io.github.Archerkattri/mathlas · v1.5.0

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

Description supplied by the publisher in the MCP Registry. We have not tested this server.

Install

uvx mathlas-mcp

Assembled from the package metadata in the official MCP Registry (including any subcommand or flag the publisher lists). Some publishers do not list the subcommand that starts MCP mode, so confirm the command in the README, along with any required configuration and credentials, before connecting it to real data.

Signals

GitHub stars	13
npm weekly downloads	-
Last push	3d ago
Licence	Apache-2.0
Open issues	0
SECURITY.md	Yes
Language	Python
Latest version published	2026-07-02

Signals captured from GitHub, npm and the official MCP Registry on October 15, 2026. See the scoring method.

Similar servers compare all →

Google Webtools MCP

Score 73

Google Search Console + GA4 for AI agents: properties, reports, indexing, verification, SEO.

★ 7MITpushed 4d ago

Search & webMarketing & sales

blockrun-mcp

Score 88

Web search, deep research, prediction markets & crypto data for AI agents. Pay per call via x402.

★ 392MITpushed 4d ago

Search & webFinance & commerce

shodh-memory

Score 87

Cognitive memory for AI agents — semantic search, Hebbian learning, knowledge graphs.

★ 309Apache-2.0pushed 4d ago

Search & web