Home › Databases & Data › mathlas

mathlas

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

Python Local

★ 12 stars Last pushed 2026-09-18 License: Apache-2.0

View repository →

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

Package (pypi 1.5.0)

uvx mathlas-mcp

Or add to your MCP client config:

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "<YOUR_VALUE>",
        "MATHLAS_INDEX": "<YOUR_VALUE>"
      }
    }
  }
}

MATHLAS_SEED — Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).
MATHLAS_INDEX — Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).