发现 MCP 服务

该 MCP 服务器允许通过 Language Server Protocol 使用 leanclient 与 Lean 定理证明器进行代理交互。提供工具帮助 LLM 代理理解、分析并与 Lean 项目交互。需要一个使用 lake 构建系统的 Lean 项目；在启动 MCP 服务器前，请手动运行 'lake build'。可选地配置 LEAN_PROJECT_PATH 环境变量以指定 Lean 项目路径。

MCPOmni Connect 是一个通用的命令行界面（CLI），作为模型上下文协议（MCP）生态系统的入口，集成了多个 MCP 服务器、AI 模型和传输协议。需要外部配置文件 'servers_config.json' 进行服务器设置，路径可通过环境变量进行配置。

此插件用于管理和配置 MCP (Model Context Protocol) 服务器清单，确保模型的正确加载和运行。支持多种模型格式和版本控制，提供高效的模型部署与监控功能。

一个功能强大且易于使用的MySQL数据库MCP（模型上下文协议）服务器，支持AI助手安全执行完整的数据库操作，包括CRUD（创建、读取、更新、删除）、事务管理和智能回滚。需要运行MySQL 5.7+或8.0+版本的数据库实例。配置路径可以通过环境变量进行设置。

Terraform MCP 服务器是一个基于模型上下文协议（MCP）的服务器，集成了 Terraform Registry API，支持自动化和基础设施即代码（IaC）开发中的交互。它支持提供者和模块的发现、数据提取以及详细信息的检索。该服务器可以通过 Docker 运行或从源代码构建，不需要外部数据文件。

提供支持 MCP 协议的 Function Calling 和 ReAct 的 Agent 策略集合，采用 HTTP 传输方式（支持 SSE 或 Streamable HTTP）。无需外部数据文件。

此 MCP 服务器通过模型上下文协议（MCP）提供对本地文件系统的安全访问。

用于私有 AI 代理的自托管 MCP 服务器注册表。支持通过环境变量 DATABASE_URL 配置 Postgresql 数据库连接。默认情况下，使用当前工作目录中的 SQLite 数据库。

Serena 是一个强大的编码代理工具包，能够将大型语言模型（LLM）转变为具有完整功能的代理，直接在您的代码库上工作。它提供类似集成开发环境（IDE）功能的语义代码检索和编辑工具。Serena 需要通过模型上下文协议（MCP）协调工具的使用，并且可以集成到您的系统中。

用于规范驱动开发流程的 MCP 服务器，配备实时网页仪表盘。需要通过命令行参数配置项目目录路径。

一个用于与任何兼容OpenAI SDK的聊天完成API集成的模型上下文协议（Model Context Protocol）服务器。需要环境变量设置API密钥和配置，例如AI_CHAT_KEY、AI_CHAT_NAME、AI_CHAT_MODEL和AI_CHAT_BASE_URL。

一个 MCP 代理服务器，能够通过单一的 HTTP 服务器聚合并提供多个 MCP 资源服务器。需要通过 --config 参数或环境变量指定 JSON 配置文件，例如 path/to/config.json。

MCP 安全包装器，提供首次信任（trust-on-first-use）服务器配置钉扎（pinning）、自动阻止未授权配置更改、工具响应的护栏扫描与隔离，以及 ANSI 控制字符净化。使用位于 ~/.context-protector/servers.json 的 JSON 编码文件存储服务器配置，使用 ~/.context-protector/quarantine.json 存储隔离响应。

基于 DrissionPage 和 FastMCP 的浏览器自动化 MCP 服务器，提供丰富的浏览器操作 API 以支持 AI 调用。需要外部 Chrome 浏览器（建议版本 90 及以上）。需要安装 Python 包 drissionpage >= 4.1.0.18、fastmcp >= 2.4.0 以及 uv。

mcp-kubernetes 是一个模型上下文协议（MCP）服务器，能够让 AI 助手通过将自然语言请求转换为 Kubernetes 操作，与 Kubernetes 集群进行交互。需要提供 kubeconfig 文件以访问 Kubernetes 集群，文件路径通过 KUBECONFIG 环境变量进行配置。

一个用于管理 Docker 的 MCP 服务器，支持自然语言操作。功能包括容器编排、运行中容器的检测与调试，以及通过 Docker 卷管理持久化数据。连接 Docker 的配置可以通过环境变量（如 DOCKER_HOST）设置，用于远程 SSH 连接。

一个提供对Airtable数据库读写访问的Model Context Protocol（MCP）服务器。该服务器使大型语言模型（LLMs）能够检查数据库架构，然后读取和写入记录。需要通过环境变量AIRTABLE_API_KEY配置的Airtable个人访问令牌。

用于 Model Context Protocol（模型上下文协议）的远程代理，允许仅本地的客户端通过 oAuth 连接到远程服务器

实现模型上下文协议（MCP）的服务器，用于与 App Store Connect API 交互。需要环境变量进行身份验证，包括 APP_STORE_CONNECT_KEY_ID、APP_STORE_CONNECT_ISSUER_ID 和 APP_STORE_CONNECT_P8_PATH，可选变量如用于销售和财务报告的 APP_STORE_CONNECT_VENDOR_NUMBER。

一个命令行主机应用程序，允许大型语言模型（LLMs）通过模型上下文协议（MCP）与外部工具交互。支持包括Claude 3.5 Sonnet、Ollama、Google Gemini以及与OpenAI兼容的模型在内的多种AI模型。需要Go 1.23或更高版本以及提供者的API密钥。配置文件会自动在用户主目录中创建（推荐使用~/.mcphost.yml或.mcphost.json）。

用于 Xcode 集成的 MCP 服务器，支持 AI 助手与 Xcode 项目交互。需要通过 .env 文件中的环境变量进行配置，例如 PROJECTS_BASE_DIR 用于设置项目的基础目录。

DBX 是一个轻量级的开源数据库管理工具，支持超过 70 种数据库，体积仅 20 MB，提供桌面和 Docker 自托管选项，并内置人工智能助手。

基于 DrissionPage 和 FastMCP 的浏览器自动化 MCP 服务器，提供丰富的浏览器操作 API 以支持 AI 调用。需要外部 Chrome 浏览器（建议版本 90 及以上）。

一个用于在 Docker 容器中执行代码的安全沙箱环境。为 AI 应用提供安全且隔离的运行环境，同时通过容器化确保安全性。需要已安装并运行 Docker。