security-audit-skill最高原则只确认已成立的边界失效其他都不算漏洞【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skillsecurity-audit-skill是一个让编码智能体变身安全审计员的多阶段代码安全审计技能coding-agent skill。它把一次审计拆成侦察、猎手扫描、候选验证、结构化输出、独立复核与目标中立报告六个阶段。而贯穿始终的最高原则只有一句话只确认已成立的信任边界失效其他一切都只是线索或加固建议。这条原则直接决定了审计报告的含金量——漏洞不多报、不虚报。一、为什么边界失效是最高原则传统安全扫描器最大的问题是误报率高缺一个HttpOnly、少一层校验、没用最佳实践……这些不符合规范的地方被批量标记成漏洞开发者疲于应付。security-audit-skill 从设计上就拒绝了这种做法。它的核心定义写在 SKILL.md 里找到违反真实信任边界的漏洞并给维护者提供源码证据、安全复现方式、优先级和最小有效修复。没有具体受影响主体、资源或安全结果的候选不是已确认的发现。这句话翻译成人话就是一个漏洞必须讲出一个完整的故事——谁低信任方通过什么输入绕过了哪个本应拦截它的控制跨越了哪条信任边界最终对谁/什么资源造成了可观察的具体后果。六个要素缺一个都算不上漏洞。二、确认漏洞前的五要素检查清单HUNTING.md 中的候选门Candidate gate要求每个候选漏洞都通过以下关卡要素要回答的问题反例不算漏洞低信任主体哪个外部/低权限角色发起猜测的部署行为接受的输入/动作具体传了什么值、调了什么接口泛泛的某处有注入风险本应生效的控制哪行代码负责拒绝/隔离/限制缺失的最佳实践被跨越的边界数据/权限跨过了哪条信任线深度防御缺口Layer A 已挡住攻击可观察的后果看到了什么错误返回值、越权记录把崩溃夸大成代码执行其中最反直觉的一条是防御纵深缺失不是漏洞。如果第一层控制已经阻断了攻击第二层缺失只能算加固建议而不是安全发现。这一原则在 README.md 的Design principles中被列为前三条可见其地位。三、三种判定状态confirmed / needs_validation / rejectedsecurity-audit-skill 的输出不是有漏洞/没漏洞的二元结论而是三种严格区分的判定由 report-schema.json 定义、由零依赖的 validate-findings.cjs 强制校验判定含义关键约束confirmed边界失效已被源码证据有界本地执行证实必须有完整溯源链、最小复现结果才有资格评定严重级别needs_validation源码线索成立但被某个缺失的部署/运行时事实卡住必须写清精确的未决事实不得评定严重级别它不是低置信度的确认漏洞更不是猜测的停车场rejected候选被源码或本地行为证伪记录下来防止未来运行重复提出同一错误论断这套设计妙在把优先级与确定性彻底分开只有confirmed记录能拿严重级别且整体严重级别不得超过已证实的影响——你说不出具体的损害级别就要比直觉感觉的更低SKILL.md。四、独立验证发现者和确认者永远不是同一个智能体最高原则还配了一个防自证机制即对抗式验证Adversarial validation检查发现的智能体永远不是发现它的智能体。—— README.md每个候选漏洞都会被交给一个全新的、没参与过狩猎的验证智能体它的初始指令就写在 VALIDATION-AND-REPORTING.md你没有写这个候选。请从仓库源码和有界的本地证据出发尝试推翻它。验证者要独立重读每一处被引用的源码位置、重建路径上最强的可见控制、在沙箱里独立复现最小结果。更严格的是如果复核要把记录升级为confirmed或实质性地改写根因还得再交给第三个独立验证者确认。层层换人审确保边界失效的判定不是某个智能体的主观判断。五、这些原则如何阻止常见的误报SKILL.md 明确列出了 10 条反模式前几条直指最常见的误报来源❌ 把清单偏差当漏洞没按最佳实践写 ≠ 漏洞❌ 没有可达边界违规的防御纵深建议❌ 把猜测的 Provider/代理/浏览器行为当证据❌ 把同主体的自我影响夸大成跨边界提权ATTACK-CLASSES.md 甚至要求扫明显问题的猎手做到发现 cookie 缺HttpOnly时先确认 cookie 里是否真的装有安全敏感数据、JS 是否设计上必须读它——一个标记不等于一个发现先追溯影响再报告。六、给新手的使用建议先看报告结构再下结论最终产物是REPORT.md、FINDINGS-DETAIL.md、NEEDS-VALIDATION.md三份报告都从已验证的记录推导而来行文永远不能改变判定VALIDATION-AND-REPORTING.md。重视needs_validation它是最值钱的线索清单——每条都有精确的卡点事实和安全验证方案照着补一次验证很多待验证会变成真漏洞。重复运行官方测试中单次运行只能发现重复运行总量约一半的漏洞。多次运行是累加的覆盖账本coverage-ledger会记录每轮查过什么、漏过什么第二轮会精准补上一轮的缺口。理解边界即理解审计拿到报告时每个confirmed条目都标注了受影响的边界。这是你快速判断修复优先级的最好抓手。总结security-audit-skill 的核心竞争力不在于扫描了多少类攻击面它内置了注入、访问控制、业务逻辑、供应链等十余类攻击类检查而在于它的证据纪律✅ 只有边界 结果都成立才是确认的漏洞✅ 说不清卡点事实的线索降级为needs_validation而非硬报✅ 被证伪的候选留痕为rejected避免重复误报✅ 发现与确认由独立智能体分权双重验证兜底对新手来说记住这一条最高原则就够了在 security-audit-skill 的报告里每一条 confirmed 都意味着一次已被独立证实的边界失效看不到的东西它宁可承认不知道也不会替你想好答案。【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skill创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 security-audit-skill最高原则：只确认已成立的边界失效，其他都不算漏洞
security-audit-skill最高原则只确认已成立的边界失效其他都不算漏洞【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skillsecurity-audit-skill是一个让编码智能体变身安全审计员的多阶段代码安全审计技能coding-agent skill。它把一次审计拆成侦察、猎手扫描、候选验证、结构化输出、独立复核与目标中立报告六个阶段。而贯穿始终的最高原则只有一句话只确认已成立的信任边界失效其他一切都只是线索或加固建议。这条原则直接决定了审计报告的含金量——漏洞不多报、不虚报。一、为什么边界失效是最高原则传统安全扫描器最大的问题是误报率高缺一个HttpOnly、少一层校验、没用最佳实践……这些不符合规范的地方被批量标记成漏洞开发者疲于应付。security-audit-skill 从设计上就拒绝了这种做法。它的核心定义写在 SKILL.md 里找到违反真实信任边界的漏洞并给维护者提供源码证据、安全复现方式、优先级和最小有效修复。没有具体受影响主体、资源或安全结果的候选不是已确认的发现。这句话翻译成人话就是一个漏洞必须讲出一个完整的故事——谁低信任方通过什么输入绕过了哪个本应拦截它的控制跨越了哪条信任边界最终对谁/什么资源造成了可观察的具体后果。六个要素缺一个都算不上漏洞。二、确认漏洞前的五要素检查清单HUNTING.md 中的候选门Candidate gate要求每个候选漏洞都通过以下关卡要素要回答的问题反例不算漏洞低信任主体哪个外部/低权限角色发起猜测的部署行为接受的输入/动作具体传了什么值、调了什么接口泛泛的某处有注入风险本应生效的控制哪行代码负责拒绝/隔离/限制缺失的最佳实践被跨越的边界数据/权限跨过了哪条信任线深度防御缺口Layer A 已挡住攻击可观察的后果看到了什么错误返回值、越权记录把崩溃夸大成代码执行其中最反直觉的一条是防御纵深缺失不是漏洞。如果第一层控制已经阻断了攻击第二层缺失只能算加固建议而不是安全发现。这一原则在 README.md 的Design principles中被列为前三条可见其地位。三、三种判定状态confirmed / needs_validation / rejectedsecurity-audit-skill 的输出不是有漏洞/没漏洞的二元结论而是三种严格区分的判定由 report-schema.json 定义、由零依赖的 validate-findings.cjs 强制校验判定含义关键约束confirmed边界失效已被源码证据有界本地执行证实必须有完整溯源链、最小复现结果才有资格评定严重级别needs_validation源码线索成立但被某个缺失的部署/运行时事实卡住必须写清精确的未决事实不得评定严重级别它不是低置信度的确认漏洞更不是猜测的停车场rejected候选被源码或本地行为证伪记录下来防止未来运行重复提出同一错误论断这套设计妙在把优先级与确定性彻底分开只有confirmed记录能拿严重级别且整体严重级别不得超过已证实的影响——你说不出具体的损害级别就要比直觉感觉的更低SKILL.md。四、独立验证发现者和确认者永远不是同一个智能体最高原则还配了一个防自证机制即对抗式验证Adversarial validation检查发现的智能体永远不是发现它的智能体。—— README.md每个候选漏洞都会被交给一个全新的、没参与过狩猎的验证智能体它的初始指令就写在 VALIDATION-AND-REPORTING.md你没有写这个候选。请从仓库源码和有界的本地证据出发尝试推翻它。验证者要独立重读每一处被引用的源码位置、重建路径上最强的可见控制、在沙箱里独立复现最小结果。更严格的是如果复核要把记录升级为confirmed或实质性地改写根因还得再交给第三个独立验证者确认。层层换人审确保边界失效的判定不是某个智能体的主观判断。五、这些原则如何阻止常见的误报SKILL.md 明确列出了 10 条反模式前几条直指最常见的误报来源❌ 把清单偏差当漏洞没按最佳实践写 ≠ 漏洞❌ 没有可达边界违规的防御纵深建议❌ 把猜测的 Provider/代理/浏览器行为当证据❌ 把同主体的自我影响夸大成跨边界提权ATTACK-CLASSES.md 甚至要求扫明显问题的猎手做到发现 cookie 缺HttpOnly时先确认 cookie 里是否真的装有安全敏感数据、JS 是否设计上必须读它——一个标记不等于一个发现先追溯影响再报告。六、给新手的使用建议先看报告结构再下结论最终产物是REPORT.md、FINDINGS-DETAIL.md、NEEDS-VALIDATION.md三份报告都从已验证的记录推导而来行文永远不能改变判定VALIDATION-AND-REPORTING.md。重视needs_validation它是最值钱的线索清单——每条都有精确的卡点事实和安全验证方案照着补一次验证很多待验证会变成真漏洞。重复运行官方测试中单次运行只能发现重复运行总量约一半的漏洞。多次运行是累加的覆盖账本coverage-ledger会记录每轮查过什么、漏过什么第二轮会精准补上一轮的缺口。理解边界即理解审计拿到报告时每个confirmed条目都标注了受影响的边界。这是你快速判断修复优先级的最好抓手。总结security-audit-skill 的核心竞争力不在于扫描了多少类攻击面它内置了注入、访问控制、业务逻辑、供应链等十余类攻击类检查而在于它的证据纪律✅ 只有边界 结果都成立才是确认的漏洞✅ 说不清卡点事实的线索降级为needs_validation而非硬报✅ 被证伪的候选留痕为rejected避免重复误报✅ 发现与确认由独立智能体分权双重验证兜底对新手来说记住这一条最高原则就够了在 security-audit-skill 的报告里每一条 confirmed 都意味着一次已被独立证实的边界失效看不到的东西它宁可承认不知道也不会替你想好答案。【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skill创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考