lean4check (Linyxus)
MCP Server
一个用于Lean 4开发的最小MCP工具，提供代码检查功能。
工具数
提示词数
GitHub Stars
资源数
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
支持客户端
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
工具数量（toolCount，工具数）
0
资源数量（resourceCount，资源数）
0
提示词数量（promptCount，提示词数）
0
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
Leak Secure MCP
Enterprise-grade MCP (Model Context Protocol) server for detecting secrets and sensitive information in GitHub repositories. Scans for 35+ types of secrets including API keys, passwords, tokens, and credentials with production-ready reliability features.
下一个 MCP
LeanIX MTM MCP Server
Enables read-only access to LeanIX Multi-Tenant Management (MTM) API data through 29 tools. Supports querying accounts, workspaces, users, permissions, contracts, instances, events, technical users, domains, identity providers, custom features, and labels with filtering and pagination.