io.github.Archerkattri/mathlas

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

Ready: LocalSecurity: LocalAuth: UnknownSetup: Unknownmcp_servermcp

Use it

Packages
  • pypi: mathlas-mcp 1.4.0uvx mathlas-mcp
    Env: MATHLAS_SEED, MATHLAS_INDEX
Instructions
  • Use an MCP client, but no callable endpoint or package install target was published.

Version history

VersionStatusPublished
1.4.0LatestactiveJun 11, 2026
1.3.0activeJun 11, 2026
1.2.0activeJun 10, 2026
1.1.2activeJun 10, 2026
1.1.1activeJun 9, 2026