lean-lsp-mcp

Lean Theorem Prover MCP

127 stars

4.6/5

Server Information

GitHub Stars

127

Last Updated

10/2/2025

Installation & Usage

Quick Install

1. Install the server

npm install lean-lsp-mcp

2. Configure MCP settings

Add the server to your Claude Desktop or MCP client configuration.

3. Start using

The server will be available for use with your AI assistant.

Configuration Example

{
  "servers": {
    "lean-lsp-mcp": {
      "command": "node",
      "args": ["path/to/lean-lsp-mcp"]
    }
  }
}

Add this configuration to your MCP settings file.

Related Servers

companies-house-mcp

3.3

🇬🇧🏦 MCP server for UK Companies House API - Search companies, retrieve detailed information, filing history, officers, and charges data through the Model Context Protocol

typescript

mcp-EDA

3.9

This is the Github Repo for the paper: MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization. MCP server for a collection of open-source EDA tools

javascript

version control

kwrds_ai_mcp

3.2

MCP for kwrds.ai

python

development

Ready to Get Started?

Install lean-lsp-mcp and start building more capable AI applications with Model Context Protocol.