proverv0.1.0remote
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
com.axiomatic-ai/proversource
Axiomatic AI
1 serverUnverified
Axiomatic AI builds verifiable AI for science and engineering. Lemma, our AI co-scientist, explores ideas, builds simulations, and reviews the literature with every result checked.
Axiomatic AI (axiomatic-ai.com) publishes 1 MCP server on the Official MCP Registry, run remotely. That ranks it #916 of 16,990 companies by servers shipped, with its latest release on Feb 23, 2026.
- Website
- axiomatic-ai.com
- Rank
- #916
- First seen
- Oct 31, 2026
- Source
- MCP Registry
