通过标准化的MCP工具提供Z3定理证明器和约束求解器的访问服务,适用于AI助手和其他MCP客户端解决SMT-LIB问题。
安装状态
已补齐
工具数量
1
GitHub Stars
1
命令预览
docker run -i z3-mcp
通过标准化的MCP工具提供Z3定理证明器和约束求解器的访问服务,适用于AI助手和其他MCP客户端解决SMT-LIB问题。
安装状态
已补齐
工具数量
1
GitHub Stars
1
命令预览
docker run -i z3-mcp
ZeroTier Go SDK 是一个用于管理本地节点和云端控制面板的Go语言软件开发工具包。
工具数量
0
GitHub Stars
1
基于Go语言开发的紫微斗数排盘微服务,提供阳历/农历两种排盘方式,支持时辰自动换算并返回标准JSON格式数据。
工具数量
0
GitHub Stars
1
zopen-mcp-server是一个基于Go的服务器,提供对zopen命令行工具的远程接口,允许用户通过模型上下文协议(MCP)管理z/OS包。
工具数量
7
GitHub Stars
1
一个基于Go语言的MCP服务器,为zsv命令行工具提供运行和帮助功能。
工具数量
2
GitHub Stars
1
ztrade-mcp是量化交易框架ztrade的MCP(Model Context Protocol)服务器实现,使AI助手能通过标准化协议调用ztrade的核心功能,包括K线数据管理、策略回测、实盘交易等。
工具数量
10
GitHub Stars
1
Portainer MCP HTTP服务器是一个包装器,允许通过HTTP客户端访问Portainer,适用于需要远程管理Docker Swarm或K8s的场景。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run -d \
一个高性能的Go实现MCP服务器,用于从网页(包括JavaScript渲染内容和Docsify文档站点)中提取内容,支持JSON-RPC和REST API双模式。
安装状态
已补齐
工具数量
1
GitHub Stars
0
命令预览
docker run -p 8085:8085 html-mcp-server-go
一个用于管理项目CLI和多语言预提交钩子的任务管理工具。
工具数量
0
GitHub Stars
0
一款通过SAP传输请求自动生成结构化ABAP技术规范文档的工具,支持多种WRICEF对象类型。
工具数量
1
GitHub Stars
0
高性能模型上下文协议(MCP)服务器,用于AI代理发现和搜索本地内容,支持全文搜索、双传输模式(stdio/SSE)和灵活认证。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run -p 8080:8080 \
基于Go的MCP服务器框架,用于编排Android adb命令,提供设备管理和UI自动化工具。
工具数量
8
GitHub Stars
0
一个为Windows环境设计的全面模型上下文协议(MCP)服务器,提供文件操作、任务管理、数据库查询和系统监控等强大的系统集成功能。
工具数量
11
GitHub Stars
0
一个用Go编写的模型上下文协议(MCP)服务器,用于自动化提交Docker Captain活动到Advocu,支持反馈会话、公开演讲、事件、资源、放大和元数据抓取等功能。
工具数量
6
GitHub Stars
0
MCP启动器是一个用于启动和管理MCP服务器的工具,适用于开发环境中的服务器部署和管理。
工具数量
0
GitHub Stars
0
一个利用qwen/qwen3-coder-30b语言模型进行源代码自动化安全分析的MCP服务,支持多种编程语言并提供IDE集成和命令行工具。
工具数量
3
GitHub Stars
0
Agach是一款开源自托管工具,通过结构化对话定义功能需求,并协调AI编码代理在隔离环境中逐步执行任务,适用于团队协作的软件开发场景。
工具数量
6
GitHub Stars
0
AgentComms是一个MCP插件,支持AI编码助手通过语音通话和聊天消息与用户进行双向通信。
工具数量
10
GitHub Stars
0
MCP Client Runtime是一个Go语言实现的客户端,用于连接外部MCP服务器并通过gRPC为Java后端提供接口,支持工具、提示和资源的发现与执行。
安装状态
已补齐
工具数量
0
GitHub Stars
0
命令预览
docker run -p 50051:50051 -p 8080:8080 agenthub-mcp-client-runtime
一个通过Model Context Protocol协议暴露AgentHub功能(技能、知识库、提示)的服务器,供外部系统如Claude Desktop、IDE和其他代理使用。
工具数量
1
GitHub Stars
0