Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Maintain this server? Claim it
This server only runs locally, from a package. Install it with the instructions on this page to try it.
We don't run packages, so we can't list this server's tools.