Lean Lsp MCP

Unclaimed

by oOo0oOo

Lean Theorem Prover MCP

Install

$claude mcp add lean-lsp uvx lean-lsp-mcp

Unclaimed listing

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.