用途:对代码库执行完整安全审计,而非清单式检查。流程分阶段推进,并用覆盖台账记录每个输入面与信任边界,避免静默遗漏。核心纪律是“发现者≠验证者”,严重性按可能性×影响评估,而非偏离风格规范。
主要能力:侦察阶段产出 architecture.md 与 coverage-ledger.json,枚举入口点、信任边界、输入面、密钥处理、外部调用与数据存储;覆盖式狩猎阶段按注入、认证授权、密钥、SSRF、反序列化、路径/文件、LLM/提示、供应链、云/IaC、客户端、资源/DoS、数据隔离、原生内存等类别排查,可借助 cpg-analysis(Joern/CodeQL)做污点与数据流分析,并用 agent-teams/polyphony 隔离并行狩猎者;对抗验证阶段由不同审查者尝试证伪候选,高/严重项经 council-review 多模型投票,给出 confirmed、needs_validation 或 rejected;输出 findings.json 并校验,再经记录复核,生成 REPORT.md、FINDINGS-DETAIL.md、NEEDS-VALIDATION.md。
使用方式:按阶段执行,先写架构与台账,再逐单元狩猎并标记状态,随后独立验证、生成并校验 findings.json,最后复核引用位置并撰写报告。校验命令为:python3 "$(cat ~/.claude/.bootstrap-dir)/skills/security-audit/validate_findings.py" findings.json。
适用场景:安全关键变更的“证明其安全”关卡,或发布前对同一台账重复运行以发现更多问题。
限制:不得在沙箱外运行被审计目标代码,只读分析,不执行不可信代码;避免严重性膨胀、仅用 grep 查数据流问题、以及只给通用建议的报告。具体平台、收费与价格信息暂未提供。