🧩

Lean Lsp MCP

Open-source skill, curated and packaged by MarketNow. Original authors retain all rights.

$11.02

General python Verified 5/5

MCP server that allows agentic interaction with the Lean theorem prover via the [Language Server Protocol](https://microsoft.github.io

generalpythonlean

Install

uvx lean-lsp-mcp

Sentinel: 5/5 — Verified

Language: python

Category: General

Slug: lean-lsp-mcp

Docker: ✓ Yes

Verified: ✓ Yes

Price: $11.02

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 5/5](https://marketnow.site/badge/lean-lsp-mcp.svg)](https://marketnow.site/skill/lean-lsp-mcp)