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 dataset 10 days ago
kattri15/lerobot-action-convention-audit published a dataset 10 days ago
kattri15/lerobot-action-convention-audit updated a model 10 days ago
kattri15/actionshift-baselinesOrganizations
None yet