一个基于类型系统的游戏框架,通过类型安全的设计使无效的代理行为在类型层面上不可表示,适用于构建规则明确的游戏和代理交互。
工具数量
3
GitHub Stars
1
一个基于类型系统的游戏框架,通过类型安全的设计使无效的代理行为在类型层面上不可表示,适用于构建规则明确的游戏和代理交互。
工具数量
3
GitHub Stars
1
Formosa MCP Platform是一个开源的台湾政府开放数据集成服务平台,提供48个MCP Servers,涵盖天气、交通、金融等多个领域的数据查询功能,支持组合器和安全审查。
工具数量
0
GitHub Stars
1
一个用于通过CLI分析(tflint、checkov、trivy、kics、infracost)、最佳实践指导和云提供商建议来提升Terraform代码质量的MCP服务器。
工具数量
18
GitHub Stars
1
一个全面的Model Context Protocol (MCP)服务器,使AI助手能够使用testssl.sh进行专业的SSL/TLS安全测试。
工具数量
9
GitHub Stars
1
Token Info MCP是一个用于验证和获取Betha系统OAuth令牌详细信息的服务器工具,支持与支持MCP协议的客户端工具集成。
工具数量
1
GitHub Stars
1
Verity MCP Server是一个为AI助手提供医疗保险政策、医疗代码智能、预授权检查、索赔验证和合规审查等功能的协议服务器。
工具数量
25
GitHub Stars
1
Red Hat VEX MCP Server 是一个用于查询 Red Hat VEX 文档和安全公告的 MCP 服务器,支持 CVE 和 RHSA 的安全相关问题查询。
工具数量
7
GitHub Stars
1
为Villager项目提供本地最小化MCP服务器、离线分发打包及Mermaid图表渲染功能的开发工具包,适用于安全测试环境搭建和任务流程自动化。
工具数量
0
GitHub Stars
1
一款运行在MentraOS智能眼镜上的语音控制AI代理,可通过自然语言远程控制Kali Linux机器,支持Claude和Ollama后端。
工具数量
8
GitHub Stars
1
基于Go语言的Webex API代理服务,支持STDIO和HTTP两种传输模式,允许LLM通过MCP协议与Webex平台交互,实现消息发送、会议室管理、会议安排等功能。
工具数量
47
GitHub Stars
1
WireMCP-rs 是一款用于实时网络监控的工具,能够快速捕获和分析网络数据,检测异常活动并支持多种协议。
工具数量
0
GitHub Stars
1
1Password MCP服务器是一个原型服务器,用于访问1Password中的安全笔记,适用于个人和企业秘密的安全存储与管理。
工具数量
0
GitHub Stars
0
一个基于多代理AI系统的漏洞扫描器,用于检测网站安全漏洞,支持A2A协议和MCP协议。
工具数量
0
GitHub Stars
0
ACDP是一个基于开放信任架构的技术堆栈和治理模型,通过可验证的加密能力实现人类和代理之间的自主权力委派,解决隐私保护和不可链接匿名凭证的信任与控制问题。
工具数量
0
GitHub Stars
0
一个集成了AI代理、MCP协议支持和全面自动化工具的服务器开发和生产平台,适用于开发、基础设施管理和自动化任务。
工具数量
4
GitHub Stars
0
AETHER_01是一款基于Rust的超快速、工业级Windows控制服务器,提供文件管理、UI控制和系统硬件操作等功能,适用于需要高安全性和低延迟的场景。
工具数量
3
GitHub Stars
0
一个利用qwen/qwen3-coder-30b语言模型进行源代码自动化安全分析的MCP服务,支持多种编程语言并提供IDE集成和命令行工具。
工具数量
3
GitHub Stars
0
AgeKey MCP Server是一款用于直接从AI IDE管理AgeKey应用的服务,支持多组织访问、应用管理、凭证获取与轮换、重定向URI管理等功能。
工具数量
11
GitHub Stars
0
Agent3是一个MCP服务器,帮助代理在无信任环境中搜索、发现并安全连接到专业代理网络,适用于需要动态扩展能力的代理系统。
工具数量
5
GitHub Stars
0
Agentgateway是一个开源的数据平面,专为代理AI在任意框架或环境内外的连接而优化,提供安全、可观察性和治理功能。
工具数量
0
GitHub Stars
0