VeriCorp MCP Server 是一个通过API验证欧洲企业信息的服务,为AI助手提供企业查询和验证功能。
工具数量
3
GitHub Stars
0
VeriCorp MCP Server 是一个通过API验证欧洲企业信息的服务,为AI助手提供企业查询和验证功能。
工具数量
3
GitHub Stars
0
Veridano Intelligence API是一个为AI代理提供美国政府网络安全情报的统一MCP服务器接口,支持实时搜索、威胁情报分析和漏洞比较等功能。
工具数量
7
GitHub Stars
0
一个基于合约的AI代理验证服务器,通过数学和严格证明解决AI系统中的盲信任问题。
工具数量
12
GitHub Stars
0
一个极简的MCP服务器示例,用于在Claude Desktop中扩展功能。
工具数量
0
GitHub Stars
0
用于分析Very Sleepy CPU性能分析文件(.sleepy)的MCP服务器,可自动识别性能瓶颈和问题。
工具数量
0
GitHub Stars
0
Swarm是一个模型上下文协议(MCP)服务器,通过确定性算法能力增强AI编程助手,提供代码分析、故障定位、形式化验证和自主Git管理等功能。
工具数量
4
GitHub Stars
0
VGCP MCP服务器提供基于有向无环图(DAG)的结构化推理,并通过约束验证确保推理的正确性。
工具数量
6
GitHub Stars
0
vhs-mcp是一个集成VHS终端录制能力的Model Context Protocol服务器,支持自动化生成终端会话记录和TUI应用截图,适用于自动化文档和测试工作流。
工具数量
0
GitHub Stars
0
Vibe Coder是一个MCP服务器,旨在通过提供研究、规划、需求生成、项目启动等功能来增强AI助手的软件开发能力。
工具数量
7
GitHub Stars
0
MCP (Model Context Protocol) 服务器通过Proxmox API和noVNC控制虚拟机,允许AI代理与虚拟机控制台(包括早期启动阶段)进行交互。
工具数量
30
GitHub Stars
0
使用ImageMagick将PDF文件转换为PNG图像(base64编码),以便LLM读取的Model Context Protocol (MCP) 服务器。
工具数量
2
GitHub Stars
0
一个结合Playwright E2E测试、MCP工具和无限循环代理编排的浏览器自动化解决方案,适用于自动化测试和网页爬取。
工具数量
2
GitHub Stars
0
一个独立的MCP服务器,代理工具调用到PRRM REST API,无需数据库连接和PRRM代码库依赖。
工具数量
136
GitHub Stars
0
一个用于管理情感氛围和虚拟/物理空间的实时流协议实现,支持多用户协作和实时数据流。
工具数量
0
GitHub Stars
0
为AI编码团队设计的代理间邮件系统,支持发送、接收、搜索和线程消息,无需外部服务或API密钥。
工具数量
6
GitHub Stars
0
一个集成MLX加速和Qwen3-VL-2B-Thinking模型的代码执行优化系统,提供高效的代码分析、推理能力和自动化工作流管理。
工具数量
0
GitHub Stars
0
一个基于MCP协议的网页截图服务,能够捕获完整网页截图并以base64格式返回,适用于LLM应用集成。
工具数量
1
GitHub Stars
0
一个基于MCP协议的AI视频生成服务器,支持多种输入类型和视频处理工具,适用于内容创作、广告制作等场景。
工具数量
0
GitHub Stars
0
一个基于MCP(模型上下文协议)的服务,通过渐进式上下文增强原则,使AI模型能够读取和分析视频,支持场景检测、音频转录等功能。
工具数量
15
GitHub Stars
0
一个基于MCP协议的服务器,用于将HTML内容和URL转换为视频文件,并提供精确的时间控制。
工具数量
3
GitHub Stars
0