What tools does the mathlas MCP server provide?

The tool list for mathlas has not been read. It is distributed as a local (stdio) package, which cannot be queried over a network without installing it.

Does mathlas require an API key?

Not known. mathlas has not been successfully queried, so its authentication requirements are unverified.

How do I install mathlas?

Run: claude mcp add mathlas -- uvx mathlas-mcp==1.5.0. One-click install links for Cursor and VS Code are also available on the server's page.

Connection check local install

mathlas

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

AI & LLM tooling Web search & scraping

Tools —

GitHub stars 12

Installs / wk —

Licence Apache-2.0

Transport stdio

Last checked never

Tools & capabilities

0 tools

Distributed as a local package with no endpoint to query, and no tool declarations could be read from its published source.