LeanMCP Minimal Server
MCP 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.
工具数
安装说明
本站只整理中文说明和来源信息，不托管安装包，也不代用户安装。
作者 / 组织
lilylilysunshine
提供方
lilylilysunshine
最后核验
2026/5/17 19:51
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
部署方式（deploymentType，部署类型）
remote-capable
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：category / installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
Lean Lsp MCP
一个通过语言服务器协议（LSP）与Lean定理证明器交互的工具，提供丰富的Lean项目分析、诊断和搜索功能。
下一个 MCP
Leapfrog MCP
Multi-session browser MCP server that gives AI agents up to 15 fully-isolated browsers running in parallel. 36 tools including navigation, extraction, network intercept, stealth, and self-improvement. Each session has its own cookies, storage, and fingerprint so agents never collide.