elenchus-mcp
基于验证者与批评者辩论循环的对抗性代码验证系统,通过多轮辩证分析发现代码问题
浏览已公开且详情完整的 MCP 服务,查看 README、安全 JSON 配置预览、来源信息与可信信号
基于验证者与批评者辩论循环的对抗性代码验证系统,通过多轮辩证分析发现代码问题
MobAI MCP服务器是一个用于移动设备自动化的Model Context Protocol服务,通过HTTP API连接MobAI桌面应用,使AI编程助手能够控制Android和iOS设备、模拟器,实现UI自动化、Web操作和批量脚本执行。
codeix是一个为AI代码助手设计的快速语义代码搜索工具,通过构建可提交至Git的代码索引,实现跨代码库的符号、引用和调用者查找,提升AI代理的代码定位效率。
Cupertino 是一个基于 Swift 的本地化工具,用于爬取、索引并通过模型上下文协议(MCP)向 AI 智能体提供苹果开发者文档。它支持离线访问超过 23 万页的苹果平台文档、Swift 提案、设计指南和示例代码,并通过 SQLite FTS5 搜索引擎实现快速检索。
Pipelock是一个开源的AI代理防火墙,通过单二进制文件提供零运行时依赖的安全防护。它采用能力分离架构,在代理与互联网之间部署九层扫描管道,防止秘密泄露、提示注入和恶意工具调用。支持多种代理模式(Fetch代理、正向代理、WebSocket代理)和MCP代理,提供紧急停止开关、审计日志和SIEM集成等功能。
MoltBook MCP服务器是一个连接AI代理和IDE到MoltBook社交网络的协议服务器,支持通过HTTP或stdio模式提供完整的API工具集,包括发帖、评论、社区管理和私信等功能。
联网搜索MCP基于腾讯云产品-联网搜索API(Web Search API,wsa)封装而成,底层搜索引擎来源于搜狗搜索,以互联网全网公开资源为基础,实现了从收录至召回排序全链路的智能搜索增强。
一个生成VS Code MCP安装按钮的微型Node服务器,支持通过NPX直接运行并创建稳定版和Insiders版的安装按钮。
Tiger CLI是Tiger Cloud的命令行工具,提供数据库服务管理和查询功能,并集成了MCP服务器供AI助手使用。
提供MySQL数据库操作。使AI模型能够通过标准化接口与MySQL数据库进行交互。
AutoPentest是一个基于MCP协议的自动化Web应用渗透测试服务器,集成了OWASP WSTG和PortSwigger攻击技术指南,通过角色化代理(侦察、分析、利用、报告)实现七阶段自动化测试,包含109项测试、31种攻击技术、27个安全工具和自适应WAF绕过能力,确保零误报和证据驱动的漏洞发现。
一个基于TypeScript的MCP服务器,实现了简单的笔记系统,提供笔记资源和创建工具。
BugBounty MCP Server是一个全面的安全测试工具,通过自然语言与LLM交互,提供92+种渗透测试工具,涵盖侦察、扫描、漏洞评估、Web应用、网络安全、OSINT、漏洞利用和报告生成等功能。
一个用于获取、跟踪和处理Bybit平台公告的MCP服务器,支持多语言筛选、类型过滤和分页查询,并以清晰的Markdown格式返回结果。
LunchMoney MCP服务器是一个实现个人财务管理的程序化访问工具,通过LunchMoney API提供全面的财务数据交互功能,包括交易管理、预算跟踪、资产监控等。
Cloaked 是一个基于 Solana 的信任最小化 AI 代理支付解决方案,通过链上强制执行消费限额(如单笔、每日、总额限制),防止代理越权或恶意消费,并提供标准模式和零知识证明隐私模式,支持 SOL 和 USDC 支付。
Walrus MCP Server是一个为Walrus去中心化存储协议设计的MCP服务器,提供存储、检索、管理数据块的功能,并与Sui区块链集成实现存储元数据管理。
这是一个基于TfL伦敦交通API的MCP服务器,提供伦敦地铁线路状态查询和行程规划功能,支持AI助手实时获取伦敦交通信息。