MCPgee
MCPgee
MCPgeeMCPgee

Lean LSP MCP

v1.0.0•APIs•stable

Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external

lean4lspmcp
Share:
382
Stars
0
Downloads
0
Weekly
0/5
View on GitHub

About

Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external

Features

  • Enables LLM agents to interact with the Lean theorem prover

Use Cases

Enables LLM agents to interact with the Lean theorem prover through the Language
oOo0oOo

Maintainer

LicenseMIT License
Languagepython
Versionv1.0.0
UpdatedMay 22, 2026
Statushealthy
Maintenanceactive

Works with

ClaudeOpenAIwindowsmacoslinux
View SourceBrowse All Servers

Installation

Manual Installation

npx lean-lsp-mcp

Examples

No examples available for this server.

Configuration

Configuration Details

Config File

claude_desktop_config.json

Web UI

Not available

Security

Authentication

RequiredNo

Features

Data Encryption
Audit Logging
RBAC Support

Performance

Response Metrics

Response Time< 200ms
ThroughputMedium

Resource Usage

Memory UsageLow
CPU UsageLow

Similar APIs Servers

Other popular servers in the same category.

n8n-mcp

★ 189.1k

A comprehensive MCP server that provides full control over n8n automation workflows through natural language. It offers 43 tools for managing workflows, executions, credentials, and data tables, with safety features like write-mode protection and dou

Dify MCP Server

★ 142.2k

Production-ready platform for agentic workflow development.

gemini-cli-mcp

★ 104.5k

A secure MCP server that wraps the Google Gemini CLI, allowing clients to query Gemini models using local OAuth sessions without requiring an API key. It provides tools for model interaction and diagnostics with built-in protection against command in

Awesome Mcp Servers MCP Server

★ 87.3k

⭐ Curated list of Model Context Protocol (MCP) servers - tools that extend Claude Desktop, Cursor, Windsurf, and other MCP clients with custom capabilities.

Slack MCP Server

★ 86.1k

Enables interaction with Slack workspaces through comprehensive channel management, messaging, user management, file uploads, and Block Kit formatting. Features secure credential storage via macOS Keychain and supports all major Slack operations incl

Servers MCP Server

★ 86.0k

Model Context Protocol Servers

More APIs MCP Servers

Explore other servers in the APIs category.

APIsBrowse All Servers

Quick Config Preview

{ "mcpServers": { "lean-lsp-mcp": { "command": "npx", "args": ["-y", "lean-lsp-mcp"] } } }

Add this to your claude_desktop_config.json or .cursor/mcp.json

Read the full setup guide →

Ready to use Lean LSP MCP?

Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.

33,000+ ServersFree & Open SourceStep-by-Step Guides
Explore All ServersRead Our Guides