S
Agent Skills
Home
Skills
MCPs
Install
archerkattri
GitHub
1 server
mathlas
archerkattri
12
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
← All servers
Search skills and MCP servers
Fuzzy search across 23,137 skills and servers