| name | verify-security |
| description | 安全校验关卡。自动扫描代码安全漏洞,检测危险模式,确保安全决策有文档记录。当用户提到安全扫描、漏洞检测、安全审计、代码安全、OWASP、注入检测、敏感信息泄露时使用。在新建模块、安全相关变更、攻防任务、重构完成时自动触发。 |
| license | MIT |
| compatibility | node>=18 |
| user-invocable | true |
| disable-model-invocation | false |
| allowed-tools | Bash, Read, Grep |
| argument-hint | <扫描路径> |
⚖ 校验关卡 · 安全校验
核心原则
安全即道基,破则劫败
安全决策必须可追溯
Critical/High 问题必须修复后才能交付
自动扫描
运行安全扫描脚本(跨平台):
node scripts/security_scanner.js <扫描路径>
node scripts/security_scanner.js <扫描路径> -v
node scripts/security_scanner.js <扫描路径> --json
node scripts/security_scanner.js <扫描路径> --exclude vendor
检测范围
自动检测的漏洞类型
| 类别 | 检测项 | 严重度 |
|---|
| 注入 | SQL 注入、命令注入、代码注入 | 🔴 Critical |
| 敏感信息 | 硬编码密钥、AWS Key、私钥 | 🔴 Critical |
| XSS | innerHTML、dangerouslySetInnerHTML | 🟠 High |
| 反序列化 | pickle.loads、yaml.load | 🟠 High |
| 路径遍历 | 未验证的文件路径操作 | 🟠 High |
| SSRF | 未验证的 URL 请求 | 🟠 High |
| XXE | 不安全的 XML 解析 | 🟠 High |
| 弱加密 | MD5、SHA1 用于安全场景 | 🟡 Medium |
| 不安全随机 | random 模块用于安全场景 | 🟡 Medium |
| 调试代码 | console.log、print、debugger | 🔵 Low |
文档层面检查
安全相关代码必须在 DESIGN.md 中记录:
危险模式速查
Python
eval(), exec(), os.system()
subprocess(..., shell=True)
pickle.loads(), yaml.load()
cursor.execute(f"SELECT * FROM t WHERE id = {id}")
ast.literal_eval()
subprocess([...], shell=False)
yaml.safe_load()
cursor.execute("SELECT * FROM t WHERE id = %s", (id,))
JavaScript
eval(), innerHTML, document.write()
new Function(userInput)
JSON.parse(), textContent
模板引擎自动转义
Go
exec.Command("sh", "-c", userInput)
template.HTML(userInput)
exec.Command("cmd", args...)
html/template 自动转义
校验流程
1. 运行 security_scanner.js 自动扫描
2. 分析扫描结果,按严重度排序
3. 检查安全决策是否有文档记录
4. 输出安全校验报告
5. Critical/High 问题必须修复后才能交付
自动触发时机
| 场景 | 触发条件 |
|---|
| 新建模块 | 模块创建完成时 |
| 安全相关变更 | 涉及认证、授权、加密、输入处理 |
| 攻防任务 | 红队/蓝队任务完成时 |
| 重构完成 | 重构任务完成时 |
| 提交前 | 代码提交前检查 |
校验报告格式
## 安全校验报告
✓ 通过 | ✗ 未通过
- 🔴 Critical: N
- 🟠 High: N
- 🟡 Medium: N
- 🔵 Low: N
### 发现问题
| 文件 | 行号 | 类型 | 严重度 | 描述 |
|------|------|------|--------|------|
| ... | ... | ... | ... | ... |
### 结论
可交付 / 需修复后交付