Mantis

Google 正式开源了 Mantis，这是一个模块化的安全审查技能工具包。与传统的静态代码扫描器不同，Mantis 旨在赋能 AI 编码代理（如 Gemini CLI, Antigravity 等），使其能够独立运行从漏洞发现到补丁验证的完整闭环。

Mantis 的核心理念是：不信任模型的置信度，只信任沙箱中的复现结果。

核心工作流：模块化技能链

Mantis 将安全审查拆解为一系列独立的“斜杠命令”（Slash Commands），由一个监督代理（/mantis-meta-agent）在长期会话中驱动执行：

1. 早期阶段：理解与规划

• /mantis-history：挖掘 Git 历史，寻找过去的安全修复模式。
• /mantis-architecture：构建项目的 Markdown 知识库，理解代码结构。
• /mantis-threat-model：推导系统的信任边界和潜在攻击面。
• /mantis-plan：生成有针对性的扫描路线图，避免盲目搜索。

2. 中间阶段：发现与过滤

• /mantis-researcher：根据计划扫描文件，识别可疑缺陷。
• /mantis-dedupe & /mantis-critic：折叠重复项，应用负面规则，丢弃那些在发布构建中不可能触发的误报。
  • 注：Google 指出，朴素 AI 扫描的真阳性率通常低于 7%，Mantis 致力于解决这一噪音问题。

3. 后期阶段：复现、修复与评分

• /mantis-reproduce：在禁用网络的 gVisor 或 VM 沙箱中执行攻击载荷，验证漏洞是否真实存在。
• /mantis-chain：将单独确认的发现组装成多步漏洞利用链。
• /mantis-patch：编写最小化补丁，并重新攻击以验证修复有效性。
• /mantis-calibrate：基于实证结果分配 1-10 的风险评分。
• /mantis-reflect：将本轮学习写回知识库，优化下一轮扫描。

4. 逆向流程：预防建议

• /mantis-advise：在代码编写前查询累积的威胁模型和已验证补丁模式，防止同类漏洞再次出现。

为什么 Mantis 与众不同？

部署与使用

• 开源协议：Apache 2.0。
• 兼容性：可与 Gemini CLI、Antigravity CLI、Google ADK 或任何支持技能调用的代理框架集成。
• 当前状态：适用于本地和内部评估，尚不推荐用于生产环境。
• 获取方式：通过 GitHub 克隆即可开始使用。