M
mathlas
13LimitedAirtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Loading the directory
MCP servers linked to github.com/archerkattri.
1 servers
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.