Official MCP RegistryListed
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
First seen 2 Oct 2026. Evidence as of 9 Oct 2026.
-
Tools
No tool list captured yet
1
Source listings
Each with its own history
0
Recorded changes
Since first seen
Tools
No tool list captured yet.
Change history
No changes since the first observation. The first snapshot is the baseline.
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Official MCP Registry | io.github.Archerkattri/mathlas | 2 Oct 2026 | 9 Oct 2026 | 1 |