MCP大全

MCP-RoCQ是一个通过集成Coq证明助手提供高级逻辑推理能力的服务器，支持自动化依赖类型检查、归纳类型定义和属性证明。

Sentinel MCP是一个用于MCP/A2A生态系统中代理工具使用的治理控制平面，提供可验证的策略执行和来源追踪功能。

MCP Analytics Server for LobeHub v2是一款高性能数据分析服务器，支持处理大规模数据集，优化上下文窗口使用，适用于LobeHub v2环境中的数据分析任务。

zulook 是一个以只读方式访问 Zulip 会话、频道、主题和搜索结果，并可通过 CLI、MCP 或 ACP 集成到工作流的工具，适用于安全查看和检索团队聊天记录。

基于LangChain和高德地图的多智能体行程规划系统，提供景点、酒店、天气和预算的实时规划服务。

该服务提供从网页获取内容的功能，支持HTML、JSON、纯文本和Markdown等多种格式。

一个基于OpenAPI的MCP（Model Context Protocol）服务器，用于自动生成和运行API模型协议。

一个通过MCP服务器访问图书数据库的API服务，提供按作者和书名搜索图书的功能。

M3M0R·IA 是一款将 ChatGPT、Claude、Grok、Copilot、Substack、Suno 等平台上的对话、文章、音乐和图像导出数据，去重、融合并整理为本地 Markdown/Obsidian 库的本地优先数据归档工具，帮助用户完整取回并长期保管自己的数字记忆。

AI驱动的聊天机器人，帮助用户发现和投资RBC共同基金。

一个简单的MCP服务器项目，包含天气和股票代理，用于获取实时天气信息和股票价格。

一个基于LLM的GitHub Actions故障诊断与自动修复工具，提供统一的差异补丁生成和治理层控制。

MCP服务器是一个轻量级的模型上下文协议服务器，集成了Tavily搜索API，使大型语言模型能够实时访问互联网信息，而不仅仅依赖静态训练数据。

一个简单的本地MCP服务器，允许Claude Desktop读取、列出和搜索项目文件夹中的文件，完全本地化且私密。

通过MCP工具获取Cloud Run服务的日志，支持按严重性、文本和时间范围进行过滤。

一套三个Model Context Protocol服务器，使AI助手能够直接控制FPV无人机硬件，包括无线电发射器配置、飞行控制器调整和黑匣子日志分析。

Hacienda CR 是一个开源的 TypeScript 工具包，用于哥斯达黎加电子发票的生成、签名、提交和状态查询，可集成到应用程序、命令行或 AI 助手中。

一个用于安装Python包的命令行工具，支持跨平台操作。

Openbase Coder MCP Server是一个测试用的MCP服务器，需要Python 3.12+和API凭证来运行。

AgeKey MCP Server是一款用于直接从AI IDE管理AgeKey应用的服务，支持多组织访问、应用管理、凭证获取与轮换、重定向URI管理等功能。

基于AI的MCP服务器，连接SAP S/4HANA数据与GPT-4o大语言模型，通过自然语言处理供应链查询和预测总账账户。

一个通过Model Context Protocol管理Hetzner云端基础设施的MCP服务器，提供覆盖服务器、网络、防火墙、负载均衡、卷、DNS和存储盒等资源的185个工具，适用于AI助手集成与云端资源自动化运维。

一个基于Spring Boot和Docker的MCP协议实现，提供AI工具集成和自然语言处理功能。

Zulk Skills Repository是一个为AI代理提供URL缩短、实时跟踪和高级分析功能的技能集合。

一个基于Windows调试工具（CDB和KD）的MCP服务器，专为逆向工程和漏洞研究设计，提供LLM驱动的调试会话，支持断点、内存、寄存器和进程状态的全面控制。

Miro MCP代理服务，用于桥接Miro设计系统的SSE服务器与Claude Desktop的stdio传输协议。

一个基于Open-Meteo API的天气数据服务，通过Model Context Protocol (MCP)为语言模型提供实时天气、空气质量及海洋条件数据。

Housecall Pro MCP Server是一个完整的现场服务管理平台模型上下文协议服务器，提供109种工具、15个React应用和完整的API集成，适用于服务调度、客户管理和支付处理等多种场景。

ClawMCP是一个通过自然语言描述生成完整OpenClaw环境的MCP服务器，提供沙盒隔离任务、配置文件生成和部署前审核功能。

一个包含MCP协议实现、示例与学习资源的开源仓库，帮助开发者系统学习并构建上下文感知的AI应用。