Google 开源 Mantis 漏洞审查技能包,让编码智能体查找、复现并修补漏洞

内容摘要
Google开源了Mantis,这是一个安全审查技能包,允许AI编码代理运行整个漏洞生命周期。Mantis能够发现疑似漏洞、剔除误报、在沙箱中复现漏洞、编写最小化补丁、重新攻击该补丁并评估剩余风险。它不是指向仓库的扫描器,而是一组slash命令,现有编码代理可以加载,并遵循严格的执行规则。Mantis适用于本地和内部评估,但尚未推荐用于生产环境。Mantis将每个阶段发布为单独的技能目录,通过slash命令顺序调用。它包括多个技能,如挖掘版本控制历史、构建知识库、推导信任边界、生成路线图、查找和过滤文件、复现漏洞、构建攻击链、应用和验证补丁、分配风险评分、记录学习成果和生成可读性报告。此外,Mantis还提供了一种新的技能,/mantis-advise,在编写代码之前查询威胁模型、过去的漏洞和验证的补丁模式,以避免重复相同的漏洞。Mantis的关键特点在于其模块化技能工具包,区别于其他安全工具,它强调沙箱复现和补丁重新攻击,并使用层次化摘要树来减少token开销。
Google开源了Mantis,这是一个安全审查技能包,允许AI编码代理运行整个漏洞生命周期。Mantis能够发现疑似漏洞、剔除误报、在沙箱中复现漏洞、编写最小化补丁、重新攻击该补丁并评估剩余风险。它不是指向仓库的扫描器,而是一组slash命令,现有编码代理可以加载,并遵循严格的执行规则。Mantis适用于本地和内部评估,但尚未推荐用于生产环境。Mantis将每个阶段发布为单独的技能目录,通过slash命令顺序调用。它包括多个技能,如挖掘版本控制历史、构建知识库、推导信任边界、生成路线图、查找和过滤文件、复现漏洞、构建攻击链、应用和验证补丁、分配风险评分、记录学习成果和生成可读性报告。此外,Mantis还提供了一种新的技能,/mantis-advise,在编写代码之前查询威胁模型、过去的漏洞和验证的补丁模式,以避免重复相同的漏洞。Mantis的关键特点在于其模块化技能工具包,区别于其他安全工具,它强调沙箱复现和补丁重新攻击,并使用层次化摘要树来减少token开销。

Google has open-sourced Mantis, a stack-agnostic toolkit of security review skills that lets an AI coding agent run the whole vulnerability lifecycle. It finds a suspected flaw, strips the false positives, reproduces the bug inside a sandbox, writes a minimal patch, re-attacks that patch, and scores the residual risk.

Mantis is not a scanner you aim at a repository and walk away from. It is a set of slash commands your existing coding agent loads, plus a strict set of rules about where that agent is allowed to execute code.

Is it deployable? Yes for local and internal evaluation, not yet for production. You can clone it today and run it with Gemini CLI, Antigravity CLI, the Google ADK, or any comparable agent framework.

The pipeline

Mantis publishes each stage as a separate skill directory, invoked as a slash command and chained sequentially. A supervisor skill, /mantis-meta-agent, can drive the whole loop in a long-lived session.

The early stages learn the target: /mantis-history mines version control history for past security fixes, /mantis-summarize writes the directory maps, /mantis-architecture builds a Markdown knowledge base, /mantis-threat-model derives trust boundaries, and /mantis-plan produces a targeted roadmap.

The middle stages find and filter: /mantis-researcher sweeps files against the plan, then /mantis-dedupe, /mantis-review and /mantis-critic collapse duplicates, apply negative rules, and drop issues that cannot occur in a release build.

The late stages prove and fix: /mantis-reproduce executes payloads in gVisor or a VM with networking disabled, /mantis-chain assembles multi-step exploit chains from individually confirmed findings, /mantis-patch applies and verifies the fix, /mantis-calibrate assigns a risk score from 1 to 10, /mantis-reflect writes learnings back for the next pass, and /mantis-report produces the human-readable review packet.

A newer skill, /mantis-advise, inverts the flow. It queries the accumulated threat model, past bug lineages and verified patch patterns before you write code, so the same class of bug does not land twice.

But why?

Most agentic security tooling stops at generating findings. Mantis is interesting because it treats the reproducer and the re-attack as the trust boundary, and because it publishes the inter-stage contracts so teams can wrap the skills in a deterministic harness instead of trusting an LLM to orchestrate shell commands.

Key Takeaways

  • Mantis is a modular skills toolkit for coding agents, not a standalone scanner or a supported Google product.
  • Its differentiator is grounding: sandboxed reproduction and patch re-attack, not model confidence.
  • A hierarchical summary tree cuts token overhead by over 85 percent, per Google.
  • Google cites sub-7 percent true-positive rates for naive AI code scanning as the problem Mantis targets.
  • Deployable locally under Apache 2.0 but not recommended yet for production.

原始发布方:MarkTechPost(RSS)

原文时间:2026-09-10 06:58:29 +08:00

阅读原文 · 数据来源:AIHOT

提示

本文用于信息整理与经验分享。第三方订阅、支付及账号服务可能调整,实际规则、价格和可用性请以下单页面及服务方最新说明为准。

咨询 GPT 充值咨询充值