Airtight math tools an AI uses over MCP - Lean kernel, PSLQ, OEIS, 3.68M-doc retrieval. Code: https://github.com/Archerkattri/mathlas
Krishi Attri
kattri15
AI & ML interests
None yet
Recent Activity
updated a collection 4 days ago
mathlas updated a dataset 4 days ago
kattri15/mathlas-corpus published a dataset 19 days ago
kattri15/mathlas-corpusOrganizations
None yet