io.github.Archerkattri/mathlas

Name: io.github.Archerkattri/mathlas
Author: Archerkattri

MCP

by Archerkattri · v1.4.0

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

mcplocal

MCP configuration

stdio

Command

uvx mathlas-mcp==1.4.0

Environment

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).

Browse here, install from the native macOS app — pick targets, fill env vars, and write configs safely.