Publisher
axiomatic-ai.com
1 server listed under com.axiomatic-ai · 1 scanned and ranked · 0 reviews
Category rankings show at most two servers from any one publisher, so no single account can fill a list. Everything axiomatic-ai.com has listed is on this page.
Scanned and ranked (1)
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
No reviews yetgateway-readyFree
Is this you? Claim your listings to reply to reviews and keep them current. Claiming never changes a grade or a ranking.