SkillFeeder › 全部 Skill › Bug与质量 › runtime-provisioner

自动为漏洞发现选择最轻量级真实运行环境验证影响

runtime-provisioner

runtime-provisioner 是 SkillFeeder 收录的Agent Skill，来自 GitHub 仓库 nealbridges/VulnHunter，★ 787。自动为漏洞发现选择最轻量级真实运行环境验证影响。适合漏洞验证工程师、自动化审计平台。场景是Bug与质量 · 测试验证。能做的事包括按需执行真实函数/解析器/容器验证、每条结论附带可追溯的运行边界记录、拒绝静态断言行为，未验证即标记为HOLD-UNVERIFIED。打开 GitHub 自行安装。

打开 GitHub

仓库
nealbridges/VulnHunter
仓库星标
★ 787
场景
Bug与质量 · 测试验证
适合
漏洞验证工程师、自动化审计平台
类型
Skill

能做什么

原文简介

VulnHunter sandbox-depth decision procedure. For every 2b verdict — confirmation AND elimination — climb the cheapest-sufficient-first probe ladder (real function, then real parser, then container), record the Runtime line, and never record a behavioural claim as static: it executes at the real boundary or is HOLD-UNVERIFIED with its probe named. No mocks at the boundary without a severity-capping

同场景推荐