MCP服务器暴露Z3求解器API,用于创建变量、添加约束、求解问题及优化。
安装状态
已补齐
工具数量
11
GitHub Stars
0
命令预览
pip install mcp-z3-prover
MCP服务器暴露Z3求解器API,用于创建变量、添加约束、求解问题及优化。
安装状态
已补齐
工具数量
11
GitHub Stars
0
命令预览
pip install mcp-z3-prover
一个用于监控和管理Modal平台上长期运行的GPU训练作业的服务器,提供可浏览的日志和错误检测功能。
安装状态
已补齐
工具数量
3
GitHub Stars
0
命令预览
pip install modal
Mealie MCP Server是一个用于与自托管Mealie食谱管理实例交互的模型上下文协议服务器,提供食谱CRUD、购物清单管理、食谱组织等功能。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
uv run fastmcp run src/mealie_mcp/server_core.py
Mealie MCP Server是一个远程MCP服务器,提供食谱和膳食计划API,可作为Docker容器部署,并可作为自定义连接器在claude.ai中使用。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run -d \
提供结构化、用户友好的高质量医学解释服务,支持多语言查询,适用于医疗信息查询和集成。
安装状态
已补齐
工具数量
1
GitHub Stars
0
命令预览
python3 -m venv venv

create-medusa-app@latest
Medusa Next.js Starter Template是一个结合了Medusa电商后端模块和Next.js 15特性的高性能电商前端模板,支持产品展示、购物车、结账、用户账户等功能。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
npx create-medusa-app@latest
mem0-server-mcp是一个生产就绪的MCP服务器,为Claude Code提供智能内存管理,具有异步架构、Neo4j知识图谱、智能分块和企业级安全功能,可通过Docker快速部署。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run -d -p 8000:8000 mem0-server-mcp
Memory MCP是一个高级认知记忆代理服务,通过四智能体架构实现AI聊天机器人的长期自主记忆管理,支持语义和情景记忆存储、自动冲突解决及混合模型集成。
安装状态
已补齐
工具数量
5
GitHub Stars
0
命令预览
pip install -e .
增强型Memos MCP服务器是对原有Memos MCP Server的改进版本,提供智能分页、多种响应格式、内容智能摘要、日期和标签过滤等功能,同时保持100%的API向后兼容性。
安装状态
已补齐
工具数量
1
GitHub Stars
0
命令预览
pip install git+https://github.com/galacoder/mcp-server-memos-enhanced.git

memos-local-mcp-server
MemOSLocalMcp是一个跨设备的记忆共享服务,支持一键启动、本地存储和局域网内设备访问。
安装状态
已补齐
工具数量
5
GitHub Stars
0
命令预览
npx memos-local-mcp-server
Broker MCP是一个支持RabbitMQ、Azure Service Bus和SQS的消息代理服务,用于管理和操作消息队列、主题和订阅。
安装状态
已补齐
工具数量
1
GitHub Stars
0
命令预览
docker run -i --rm \
一个用于Facebook Marketing API的模型上下文协议(MCP)服务器,提供实体管理和性能报告功能,支持自动分页。
安装状态
已补齐
工具数量
6
GitHub Stars
0
命令预览
pip install --upgrade pip
mcp-exec是一个为AI工具提供沙盒化代码执行的解决方案,通过类型化访问MCP服务器实现高效工具发现和隔离执行。
安装状态
已补齐
工具数量
3
GitHub Stars
0
命令预览
npx tsc --noEmit --workspaces
一个基于微软图形API的远程模型上下文协议服务器,用于Azure AD用户管理操作,支持多连接并与Amazon Bedrock协同工作。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python -m venv venv
MikroTik MCP Server是一个为MikroTik RouterOS设备提供的全面模型上下文协议(MCP)服务器实现,通过组织良好的Python代码库提供设备管理、监控和配置的编程访问。
安装状态
已补齐
工具数量
28
GitHub Stars
0
命令预览
python -m venv venv
mimory-mcp-focus-langchain是一个为LangChain MCP实现提供焦点能力的集成工具,允许限制工具访问和控制参数值。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
pip install mimory-mcp-focus-langchain
Mindrian Reverse Saliant Discovery MCP Server 是一款通过双重相似性分析(结构相似性和语义相似性)来发现跨领域创新机会的工具,适用于科研、技术开发和创新管理等领域。
安装状态
已补齐
工具数量
12
GitHub Stars
0
命令预览
python -m venv venv

@adhisang/minecraft-modding-mcp
一个基于Model Context Protocol的Minecraft模组开发服务器,提供源代码探索、符号映射、版本比较、模组JAR分析、项目验证等功能,适用于AI辅助的Minecraft模组开发工作流。
安装状态
已补齐
工具数量
41
GitHub Stars
0
命令预览
npx -y @adhisang/minecraft-modding-mcp
MinSC是一个为AI Agent设计的实时策略游戏训练环境,提供基本的星际争霸游戏功能,包括地图系统、单位系统、建筑系统和资源管理。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
python launcher.py
MobileAction MCP Tools 是一套用于与MobileAction App Store API交互的工具集,提供关键词排名、应用详情、评论、下载和收入估算等功能,适用于应用市场分析和优化。
安装状态
已补齐
工具数量
27
GitHub Stars
0
命令预览
uv run mamcp/appinfo.py