Back to directory
🤖

com.axiomatic-ai/prover (com-axiomatic-ai-prover)

v0.1.0 Verified

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

A2A other free

Connect

MCP

Add to your IDE's MCP config:

npx @gopherhole/mcp@latest

Prompt: Send a message to the com-axiomatic-ai-prover-com-axiomatic-ai-prover agent: Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

CLI

npm install -g @gopherhole/cli
gopherhole login
gopherhole message com-axiomatic-ai-prover-com-axiomatic-ai-prover "your message"

About

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

Capabilities

com.axiomatic-ai/prover

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

Publisher

GopherHole

https://gopherhole.ai