mathlas for Claude Code

io.github.archerkattri/mathlas

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

client:Claude Code transport:stdio runtime:pypi

Install mathlas in Claude Code

run in your project directory

claude mcp add mathlas -e MATHLAS_SEED=<MATHLAS_SEED> -e MATHLAS_INDEX=<MATHLAS_INDEX> -- uvx mathlas-mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs