MCP servers from io.github.Archerkattri
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.