📦

Lean MCP

Name: Lean MCP
Rating: 3.0 (1 reviews)
Author: KrystianYCSilva

MCP server and client for Lean 4 + Mathlib formal theorem verification

0 installs

Trust: 59 — Fair

Devtools

Installation

npx lean-mcp

Ask AI about Lean MCP

Powered by Claude · Grounded in docs

I know everything about Lean MCP. Ask me about installation, configuration, usage, or troubleshooting.

0/500

No README available