security-audit：将编码智能体变成具备多阶段独立验证流程的安全审计器

核心能力与快速开始

★ 7041 · JavaScript

能做什么

将一个支持工具调用与并行子智能体的编码智能体转变为安全审计器，编排六个阶段的审计流程：1）侦察，映射架构、信任边界、输入面、已有证据与确定性覆盖，产出 architecture.md 与 coverage-ledger.json；2）基于覆盖台账的猎取，从台账单元分配隔离的猎取智能体，记录检查项并由覆盖评审智能体找出缺口；3）候选验证，将每个候选发现交给新的验证智能体尝试推翻；4）结构化输出，将 confirmed、needs_validation、rejected 三类记录写入 findings.json，并按 report-schema.json 校验；5）独立记录复核，由新的智能体复核最终来源主张，材料性替换需再次独立复核；6）目标中立的报告，从已复核记录与覆盖台账派生 REPORT.md、FINDINGS-DETAIL.md 与 NEEDS-VALIDATION.md。父智能体在创建台账后及后续每次台账更新后运行 validate-coverage-ledger.cjs，在第 4 阶段及第 5 阶段每次替换后运行 validate-findings.cjs。技能针对原生目标、LLM 目标、HTTP 协议与认证目标、客户端/浏览器目标，以及供应链、云与部署、RPC 与消息、资源耗尽、数据隔离与生命周期、桌面移动与本地 IPC 等方向提供猎取类别提示词。多次运行可累加，复用既往台账与发现来补足缺口、重验证变更源码。

适用场景

在编码智能体（如支持工具调用与子智能体的智能体平台）中对代码仓库发起安全审计、寻找漏洞或渗透测试类请求；针对原生二进制、LLM 应用、HTTP 协议与认证、客户端浏览器、供应链与发布、云与部署、RPC 与消息协议、资源耗尽、数据隔离与生命周期、桌面与移动本地 IPC 等不同目标面进行覆盖式漏洞猎取；通过多次运行累积提升覆盖率并重验证已变更源码；生成可机器校验的结构化发现记录（findings.json）和面向阅读的审计报告。

项目形态

开发框架

部署方式

未说明

主要依赖

需要一个支持工具调用与并行子智能体的编码智能体，以及其使用的模型；需要 Node.js 运行零依赖的发现与覆盖台账校验器；需要一个由操作系统强制实施的沙箱来执行目标控制的构建、测试、进程、浏览器、模拟器、模糊测试器与夹具，沙箱必须禁用外部网络、使用经过清理的白名单环境、实施资源限制并仅允许写入分配的暂存路径。缺少这些控制时，工作流会把线索保持为 needs_validation 而不执行目标代码。

使用限制

仅确认已确立的边界失败，来源有据但被阻断的线索保持为 needs_validation 并记录确切的未决事实；深度防御缺口不算漏洞，若 A 层已阻止攻击，缺少 B 层仅作为加固说明；严重性要求有实际影响，采用可能性×影响而非对照清单的偏差。材料未说明部署条件、硬件要求、API 成本与限制；测试运行中单次运行大约只发现多次运行可发现漏洞总数的一半，覆盖率依赖多次运行。

许可证

MIT

最近推送

2026-09-15 03:29

资料检查：2026-09-17 07:00 · 卡片整理：2026-09-17 07:00
卡片由 AI 根据仓库资料整理，未进行安装或运行验证 · 本次更新未完成，保留上次成功内容

职业应用

程序员

将编码智能体变成安全审计器，对代码库执行多阶段安全审计：侦察、基于覆盖台账的漏洞猎取、候选发现验证、结构化输出、独立记录复核和报告生成，输出机器可读的 findings.json，用于代码审查与漏洞发现。

官方使用入口 ↗

由 AI 根据来源材料整理，未进行安装或运行验证