MCP Server
6
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No...
Python Apache-2.0 Updated 2w ago
archerkattri
0
0