Google Mantis:AI 时代构建安全软件的便携工具包
Google 开源的 Mantis 是一套技能(skills)加 ADK 参考实现的工具包,覆盖威胁建模、代码审查、漏洞研究、修补到报告的完整安全流程。它支持 `./run.sh --focus` 指定目标、`--exclude` 排除目录、`--max-tokens` 设定花费上限及并行扫描,并通过研究图合成动态生成 agent-graph 拓扑。仓库强调需在隔离环境使用,AI 发现须经安全专家人工验证,PR 扫描尚未实测、不可用于合并门禁。