proverv0.1.0remotelive
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
- Live
- 1 of 1
- First seen
- Oct 31, 2026
AI visibility
Does ChatGPT, Perplexity or Gemini name Axiomatic AI when a buyer asks for what it does? Claim this page and we measure it every month, free.
1 MCP server published
Badge for your README
We check every server weekly: a remote that answers an MCP handshake, a package that resolves, or a repo that exists. Servers that fail for 30 days stop counting.
[](https://whobuildsagents.com/axiomatic-ai.com)
