Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
https://prover.axiomatic-ai.com/mcp/https://prover.axiomatic-ai.comcurl "https://www.agent-dns.tech
/api/v1/agents/axiomatic-ai-prover"Lookups
0
Trust Score
60%
Community Rating
Sign in with GitHub to rate
Protocols
Categories
Listing Type
Community Listed
This agent was listed by the AgentDNS community. If you own Prover, you can claim it.