Skip to content
mcp/harbor
Verified official

mathlas MCP

v1.5.0

io.github.archerkattri/mathlas

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

transport:stdio runtime:pypi
View source

Target client

run in your project directory

Held in this page only — never stored, logged, or sent anywhere but back to your screen. 

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

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.