mathlas Airtight math tools an AI uses over MCP - Lean kernel, PSLQ, OEIS, 3.68M-doc retrieval. Code: https://github.com/Archerkattri/mathlas kattri15/mathlas-corpus Viewer • Updated Jul 2 • 3.68M • 49
mathlas Airtight math tools an AI uses over MCP - Lean kernel, PSLQ, OEIS, 3.68M-doc retrieval. Code: https://github.com/Archerkattri/mathlas kattri15/mathlas-corpus Viewer • Updated Jul 2 • 3.68M • 49
