prover
Development
Open Access
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Overview
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Capabilities
Authentication
Type: Open Access
Provider: none
Setup Instructions:
See provider documentation for connection details.
Endpoints
| Production: | https://prover.axiomatic-ai.com/mcp/ |
Maintainer
axiomatic-ai
GitHub: @
Website: axiomatic-ai.com
Tags
mcp
remote