io.github.Archerkattri

mathlas

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

stdiocommunityknowledge

Package Details

mathlas-mcp

1.1.2•https://pypi.org/project/mathlas-mcp
Transportstdio
Runtimeuvx

Environment Variables

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