NestDaddy
All servers NestDaddy MCP Blog Sign inTry it free
AI and media

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.

Source code Set it up

Connect Runs on your machine

Terminal
claude mcp add mathlas -e MATHLAS_SEED=<MATHLAS_SEED> -e MATHLAS_INDEX=<MATHLAS_INDEX> -- uvx mathlas-mcp==1.5.0
claude_desktop_config.json
{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<MATHLAS_SEED>",
        "MATHLAS_INDEX": "<MATHLAS_INDEX>"
      }
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<MATHLAS_SEED>",
        "MATHLAS_INDEX": "<MATHLAS_INDEX>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "mathlas": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<MATHLAS_SEED>",
        "MATHLAS_INDEX": "<MATHLAS_INDEX>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

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

Details

Package[email protected] (PYPI, stdio)
First published2 Jul 2026
Last updated2 Jul 2026
Registry nameio.github.Archerkattri/mathlas

More ai and media servers See all

  • bv7x strategy agents

    Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

  • Chronary

    Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

  • Mastering

    Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

  • Modulos AI Governance Platform

    Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

  • naulon

    Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

  • NextConstraint

    Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.