Agent Skill 核验档案

安全审计 · Security Audit · Security Audit Skill

security-audit 是一个防御性、源码优先的安全审计 Skill，面向代码库、API、服务、CLI 工具、库和守护进程提供安全指导与漏洞审查，用于安全问题解答、聚焦审查、漏洞研究、安全审计或渗透测试；仅在用户明确提出代码库审计、渗透测试、全面/完整/端到端审查或要求报告工件时才运行完整六阶段工作流。

适用任务

对代码库、API、服务、CLI 工具、库或守护进程进行完整的安全审计或渗透测试，输出 REPORT.md、FINDINGS-DETAIL.md 等报告工件
以指导模式回答安全问题、做聚焦审查、方法论指导、分诊或对具体发现的调查，仅使用 Skill 的相关部分而不自动运行全部六阶段
为发现的漏洞提供源码证据、安全复现步骤、优先级排序和最小有效修复建议
在沙箱内运行目标控制的构建、测试、进程、浏览器、模拟器、模糊测试和夹具处理，并施加无外部网络、空环境、只读目标、资源限制等控制

输入

待审计的目标代码库（绝对仓库根目录）
用户的审计、渗透测试、安全审查或安全问题请求
可选：成本预算（agent 调用上限）、运行配置（quick/standard/deep）、范围路径、先前运行的 coverage-ledger.json 与 findings.json

输出

run-metadata.json、architecture.md、coverage-ledger.json、findings.json 等共享运行文件
REPORT.md、FINDINGS-DETAIL.md、NEEDS-VALIDATION.md 报告工件
带源码证据、安全复现、优先级和最小有效修复的确认发现

限制与检查

任何一项沙箱控制无法满足时不得执行目标代码，须将缺失的沙箱能力报告为 needs-validation 阻塞项
决定性事实在源码或沙箱夹具之外时只能报告为需要验证；不得探测已部署端点、外部服务、共享基础设施、生产身份、其他用户数据或活动控制平面
单次运行不完整：不存在先前 ledger 时须在最终覆盖声明中说明，且不得暗示一次运行穷尽目标；scoped 或 quick 运行必须自呈为部分覆盖
预算无法覆盖侦察与预留（critic 与验证）时不启动任何 agent，将 run_status 设为 incomplete；严格总预算仍可能因候选集过大或第五阶段（Phase 5）实质性替换而超支
模式判定：仅在用户明确请求代码库审计、渗透测试、全面审查或报告工件时才运行完整六阶段工作流；请求含义不明时先提一个聚焦问题再创建文件
发现门槛：每个确认发现必须有具体受影响主体、资源或安全结果及源码证据；缺少这些的候选不得标记为 confirmed
沙箱合规：验证目标代码执行处于 OS 强制沙箱（无外部网络、空环境允许列表、只读目标、资源限制），未安装依赖、未暴露保留输出目录、其他 agent 目录、宿主 home、凭据、套接字或共享服务
写入隔离：确认共享文件与保留 artifacts 仅由父级写入，agent 只写自己的 scratch/，提升的文件通过逐文件允许列表与字节限制的验证流程晋升，绝不递归复制或打开符号链接、FIFO 等

安全审计 · Security Audit · Security Audit Skill

适用任务

输入

输出

限制与检查

AI 搜索

项目详情