Lean Lsp MCP
MCP Server
一个通过语言服务器协议（LSP）与Lean定理证明器交互的工具，提供丰富的Lean项目分析、诊断和搜索功能。
工具数
提示词数
GitHub Stars
资源数
安装说明
本站只整理中文说明和来源信息，不托管安装包，也不代用户安装。
作者 / 组织
project-numina
提供方
project-numina
最后核验
2026/5/17 20:19
运行时
Python
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
命令预览
uvx lean-lsp-mcp --transport stdio # Default transport
目录标签
目录标签
支持客户端
接入字段
传输方式（transport，传输协议）
stdio
鉴权方式（authType，认证方式）
none
运行时（runtime，运行环境）
Python
工具数量（toolCount，工具数）
0
资源数量（resourceCount，资源数）
0
提示词数量（promptCount，提示词数）
0
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
来源信息
继续浏览同类 MCP
上一个 MCP
Lean Kg
LeanKG: Stop Burning Tokens. Start Coding Lean.
下一个 MCP
LeanMCP Minimal Server
A minimal MCP server framework that enables zero-config tool discovery and streamable HTTP transport using the LeanMCP SDK. It allows developers to build type-safe services with automatic schema validation and integrated React UI components.