mathlas

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

GitHub · PyPI · Registry

Search & knowledge Dev tools & GitHub AI models & media

Install

Run it directly:

uvx mathlas-mcp

Or add it to your client config (Claude Desktop claude_desktop_config.json, Cursor .cursor/mcp.json):

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Generated from the package metadata in the official MCP Registry. MCP Morning does not run or test servers; check required environment variables in the project README.

Alternatives