io.github.Archerkattri/mathlassearch

mathlas

Verified · yesterday

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

Install

claude mcp add mathlas -- uvx mathlas-mcp

Requires: MATHLAS_SEED, MATHLAS_INDEX

Our take

Mathlas is a research-oriented search and verification server for formal mathematics, combining theorem search with numeric and Lean-based checking. It is best suited to technical users working on theorem proving, formal methods, or high-assurance agent workflows; the positioning is specific and credible, though its narrow audience and small public footprint suggest an early but serious project rather than a general-purpose search tool.

reviewed by hand · 2026-07-06

Something wrong or dead here? Report it

Verification record

last verified: yesterday
github stars: 5
last commit: 4 days ago
archived: no
license: Apache-2.0
in registry since: 2026-07-02

github.com/Archerkattri/mathlas