AI代理stdio
一个为Rocq（原Coq）证明开发提供编译、验证、查询和交互式策略步骤的MCP服务器，使LLM代理能够编写和检查Rocq证明。
安装状态
已补齐
工具数量
11
GitHub Stars
28
命令预览
uv run pytest
数据服务stdio
Sap Datasphere MCP
@mariodefe/sap-datasphere-mcp
SAP Datasphere MCP服务器是一个生产就绪的模型上下文协议（MCP）服务器，使AI助手能够无缝地与SAP Datasphere环境交互，进行实时租户数据发现、元数据探索、分析操作、ETL数据提取、数据库用户管理、数据沿袭分析和列级数据剖析。
安装状态
已补齐
工具数量
50
GitHub Stars
28
命令预览
npx @mariodefe/sap-datasphere-mcp
AI代理stdio
Temporal MCP Server是一个用于与Temporal工作流编排交互的工具，支持AI助手和其他MCP客户端通过标准化接口管理工作流、计划和执行。
安装状态
已补齐
工具数量
0
GitHub Stars
28
命令预览
pip install -r requirements-dev.txt
数据服务stdio
基于LangChain Agent和双模型协作的智能旅行规划系统，支持多目的地行程规划、实时数据查询和知识库检索。
安装状态
已补齐
工具数量
0
GitHub Stars
28
命令预览
pip install -e .
AI代理stdio
Unity MCP Server 34888950
@akiojin/unity-mcp-server
Unity MCP Server是一个基于LLM的Unity编辑器自动化工具，提供可靠的脚本化工作流，支持场景、UI、输入模拟等功能，适用于Unity开发效率提升。
安装状态
已补齐
工具数量
3
GitHub Stars
28
命令预览
npx @akiojin/unity-mcp-server --http 6401 --no-telemetry
开发工具stdio
将微信开发者工具CLI封装为MCP服务，使AI能够直接调用微信CLI命令，实现小程序开发、测试、调试、自动化全流程闭环。
安装状态
已补齐
工具数量
7
GitHub Stars
28
命令预览
pip install uv # 安装 uv（如已安装可跳过）
AI代理stdio
AMP是一种为AI代理设计的记忆协议，提供短期和长期记忆管理，支持自然语言查询和可视化记忆网络。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
pip install amp-memory
地图位置stdio
Clear Npx Cache
clear-npx-cache
一个强大的SharePoint MCP服务器，通过SharePoint REST API与SharePoint Online无缝交互，支持多种认证方式和丰富的操作功能。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
npx clear-npx-cache
安全风控stdio
Create Gh App
@true-and-useful/create-gh-app
Janee是一款通过MCP协议为AI代理提供密钥管理的本地优先服务，可安全注入凭证、执行策略并记录完整审计日志。
安装状态
已补齐
工具数量
5
GitHub Stars
27
命令预览
npx @true-and-useful/create-gh-app create my-agent --owner @me
办公协作stdio
Email MCP Server 是一个基于SMTP协议的邮件发送服务，允许AI助手通过SMTP发送邮件，支持简单邮件、自定义邮件（包括CC/BCC和附件）以及SMTP连接测试。
安装状态
已补齐
工具数量
3
GitHub Stars
27
命令预览
uv run python -m email_mcp_server.server
设计创作stdio
通过浏览器cookies实现Google Gemini的图像生成/编辑、聊天和文件分析的MCP服务器，无需API密钥且免费。
安装状态
已补齐
工具数量
6
GitHub Stars
27
命令预览
uv run --with "gemini-webapi-mcp @ git+https://github.com/AndyShaman/gemini-webapi-mcp.git" ...
办公协作stdio
Granola-Claude MCP Server是一个将会议数据转化为AI驱动的商业智能的自定义模型上下文协议服务器，支持自然语言查询整个会议历史。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
python3 test_granola.py
设计创作stdio
Higgsfield AI MCP Server 提供电影级质量的图像和视频生成功能，包括文本生成图像、图像生成视频、角色一致性保持等功能，适用于创意内容生成和视觉特效制作。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
pip install -r requirements.txt
AI代理stdio
Luna是一款基于Langgraph的语音交互AI助手，通过自然对话帮助用户管理费用，支持语音输入输出、自动分类和数据库集成。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
python main.py
搜索检索stdio
为LM Studio中的AI伴侣提供持久、类似人类的记忆系统，结合SQLite结构化存储和ChromaDB语义搜索，支持跨会话记忆、自动备份和生物行为模拟。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
pip install -r requirements.txt
AI代理stdio
一个本地MCP服务器，允许AI代理运行Mathematica、控制笔记本并验证结果，适用于Claude、Cursor、VS Code等编辑器。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
uvx mathematica-mcp-full setup claude-desktop
运维云端stdio
一个基于MCP协议的OpenStack项目管理与监控服务器，提供项目范围内的资源管理和安全控制功能。
安装状态
已补齐
工具数量
87
GitHub Stars
27
命令预览
uv run python -m mcp_openstack_ops --help
AI代理stdio
该项目展示了如何使用Python构建和交互基于模型上下文协议（MCP）的流式HTTP服务器和客户端，包括无状态服务器、Google OAuth保护服务器和Gemini驱动的ADK客户端。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
uv run --active streamable_http_server/1-stateless-streamable/main.py --server server1
AI代理stdio
一个Python实现的MCP服务器，安全地将SQL Server数据库功能暴露给LLM客户端。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
pip install -r requirements.txt
运维云端stdio
Nuke-MCP是一个连接The Foundry's Nuke与AI系统的桥梁，通过Model Context Protocol (MCP)实现AI助手与Nuke的交互，包括脚本信息获取、节点创建与修改、渲染控制等功能。
安装状态
已补齐
工具数量
0
GitHub Stars
27
命令预览
pip install fastmcp