关于 verify-fix
用于按明确请求核验安全修复的只读技能，逐项检查当前代码是否关闭原有漏洞路径。它要求沿原始攻击路径核对控制、旁路和合法行为，不修改仓库或跟踪系统。
主要功能
- 01逐项给出修复状态
- 02追踪原始攻击路径与安全边界
- 03检查相关控制及可能的旁路
- 04只读评估，不改动仓库文件
- 05支持标准与静态核验模式
适用场景
- 01核验提交的安全漏洞是否已修复
- 02检查重构后原攻击路径是否仍可达
- 03在不运行测试时进行静态修复评估
安装
复制下面的命令，在终端中运行。
npx skills add https:/安装后在 Claude Code 中输入/verify-fix确认已加载。
附带文件agents/openai.yaml
详细介绍
验证修复
适用场景
仅在用户明确要求验证安全修复时调用此技能，包括直接调用 $verify-fix。单纯要求实现修复或运行其测试，并不代表用户要求调用此技能。对于其他任务，请遵循用户指定的工作流和响应格式。
目标
确定当前检出版本中提供的每项安全问题是否已修复。仅以独立验证模式运行；不得创建、修改或删除仓库文件、应用补丁、提交更改、写入产物或修改问题跟踪器。
评估方法
使用 ../../references/static-finding-assessment.md 识别原始的攻击者可控来源、安全控制、敏感接收点、可达路径、信任边界、反面证据和证明缺口。如果调用方已在提示中提供该参考资料，请使用提供的内容，不要再次读取。
除非调用方明确选择 verificationMode: static，否则使用 standard 验证。在静态模式下，评估当前源码和差异、原始利用路径及合理的绕过方式，以及通过调用方和作为源码读取的现有测试来确认正常行为。不要安装依赖项，也不要运行构建、测试、复现程序或应用，包括验证说明要求运行这些内容的情况。仍可使用读取仓库的工具。在证据中说明这是静态评估，且未执行运行时检查；不要将其视为已通过，也不要要求本次评估必须执行这些检查。仅缺少运行时工具不会导致结果不确定，但源码证据存在实质性缺口则会。
验证工作流
- 确认原始漏洞、其前提条件、受影响的安全边界，以及必须继续正常工作的行为。
- 确认当前检出版本包含受影响的组件。跟踪已迁移或重构的代码，不要将文件缺失、代码行被删除或函数名称变更视为修复证明。
- 沿当前实现追踪原始利用路径，并检查最接近的相关控制、等效路径和合理的绕过方式。
- 在标准模式下，仅当原始复现程序、针对性回归检查或正常行为检查能够在不修改仓库的情况下运行时，才运行这些检查。无法执行运行时检查时，保留准确的静态证据。
- 按照提供的问题顺序，为每项问题返回一个结果。已关闭的工单、无关的通过测试，以及未发现新的扫描结果，都不足以构成证明。
结果约定
对于交互式对话，除非调用方要求其他格式，否则使用易读的 Markdown。为每项问题给出判定，说明附有源码引用的支持证据，并指出相关检查和剩余的证明缺口。
当调用方要求 JSON 或提供自动化结果约定时，严格按照以下结构返回一个 JSON 对象。CLI 验证工作流会明确要求此约定。无论使用哪种格式，都采用相同的判定和证据要求。
{
"results": [
{
"id": "finding-or-issue-id",
"status": "fixed|still_vulnerable|inconclusive",
"evidence": "specific current source, exploit, test, or proof-gap evidence"
}
]
}
- 仅当证据证明原始安全边界已关闭，且正常行为仍然完整时，使用
fixed。 - 仅当证据证明原始易受攻击路径仍可达时，使用
still_vulnerable。 - 对于仓库不匹配、缺少原始上下文、所选模式要求的检查无法执行、正常行为控制未经证实，或其他实质性证明缺口，使用
inconclusive。
切勿通过削弱只读边界、替换为其他漏洞或隐瞒缺失证据来推断更强的判定。