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 3 days ago
mathlas updated a dataset 3 days ago
kattri15/mathlas-corpus published a dataset 19 days ago
kattri15/mathlas-corpusOrganizations
None yet