kattri15/mathlas-corpus
Viewer • Updated • 3.68M • 79
mathlas
Airtight math tools an AI uses over MCP - Lean kernel, PSLQ, OEIS, 3.68M-doc retrieval. Code: https://github.com/Archerkattri/mathlas
Note The full text + metadata corpus behind mathlas's search_existing_math index (3,683,428 theorem-level docs; per-source licenses on the card).