Claude Code Skills·Claude Skills·The open SKILL.md registry for Claude
ClaudSkills › Arcade › MCP Servers › prover

prover

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

external unknown

Get this

External tool — open the project website for install instructions:

https://prover.axiomatic-ai.com/mcp/

Details

Websitehttps://prover.axiomatic-ai.com/mcp/
GitHubhttps://github.com/Axiomatic-AI/ax-prover-base-mcp
Licenseunknown
Pricingfree
Tagsmcp-server
Sourcesmcp-registry
Discovered2026-05-25

More in MCP Servers

See all MCP Servers →

ClaudSkills Arcade · All categories · Catalog JSON · CC BY 4.0 · independent of Anthropic PBC