Archerkattri/mathlas

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

Open on GitHub

12Stars on the repository

1Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

mathlas

Archerkattri/mathlas

MCP server Claude CodeCodexCursor +2

A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs guarantees scaffolds, served over MCP. Runs locally from the mathlas-mcp Python package. Needs 2 environment variables to run.

12 1mo ago A tokens not measured original Apache-2.0