一、基本信息
| 项目 | 内容 | 数据来源 |
|---|---|---|
| 正式名称 | audit-context-building（合集仓库子技能，完整标识见下） | 合集仓库子目录名 |
| 所属合集仓库 | trailofbits/skills（Trail of Bits Skills Marketplace，官方安全技能市场） | GitHub API |
| 作者/维护者 | Omar Inuwa（plugin.json 声明，联系邮箱 opensource@trailofbits.com） | 插件 plugin.json |
| 来源链接 | https://github.com/trailofbits/skills/tree/main/plugins/audit-context-building | — |
| 许可证 | CC-BY-SA-4.0（署名-相同方式共享，仓库根目录确认） | GitHub API |
| 合集仓库整体 Stars/Forks | 6,404 / 553（注：该数字属整个合集仓库，不代表本技能自身热度，仅供了解所属市场规模） | GitHub API |
| 该技能自身活跃度 | 最近一次专属提交为 2026-07-31（PR #228，官方员工发起，正将其重构为动态工作流，评审进行中）；此前一次专属提交为 2026-02-13（PR #83，新增配套 function-analyzer 子代理）；仓库整体最近推送 2026-08-02 | GitHub API（按路径过滤提交历史 + PR 记录） |
| 插件版本 | v1.1.1 | plugin.json |
| 安装方式 | Claude Code / Codex 插件市场一条命令安装（见第十章） | 官方 README |
二、功能介绍与亮点
audit-context-building 解决的是安全审计流程里一个容易被跳过的环节：在开始找漏洞之前，先对目标代码建立足够扎实的架构理解。它不产出漏洞、不提修复建议，而是专注于“看懂代码”这一件事：
- 逐行/逐块的超细粒度分析：对每个非平凡函数强制要求覆盖用途、输入假设、输出效应、逐块推理四个维度，并对每一块应用第一性原理、五个为什么、五个怎么做
- 跨函数/跨调用边界的上下文延续：内部调用直接跳入被调函数继续逐行分析；外部调用区分“代码可见”（视同内部调用）与“黑盒”（按对抗性输入建模，考虑 revert、异常返回值、重入等后果），并要求整条调用链的假设与不变量连续传递、不重置上下文
- 反幻觉与反矛盾机制：明确禁止“大概是……“这类模糊表述，要求”不清楚，需进一步检查 X“；发现证据与早期假设矛盾时必须显式更新模型并说明修正
- 量化的完整性门槛：每个函数分析需满足至少 3 条不变量、5 条假设、3 条外部交互风险点、1 次第一性原理应用、3 次五问/五怎么应用等最低标准，并附完整示例（一个 DEX swap 函数的完整分析走查）与配套检查清单
- 配有专职子代理
function-analyzer，可在遇到高密度函数、复杂状态机或密码学逻辑时被派发处理，工具权限仅限只读的 Read/Grep/Glob
三、适用场景
固定分类：安全与合规
适合安全审计员、渗透测试工程师、以及需要在陌生代码库中做架构评审或威胁建模的工程师，在正式挖掘漏洞前用它建立可靠的系统级理解——尤其适合面对复杂状态机、跨模块调用链或密码学相关代码时，避免因“大致看懂了”就跳过细节而漏判风险；也适合作为团队审计流程中标准化的第一阶段，减少不同审计员对同一代码库理解深度不一致的问题。
四、跨 Agent 兼容性
| Agent | 结论 | 依据 |
|---|---|---|
| Claude Code | 原生支持 | 官方安装方式即 Claude Code 插件市场机制（.claude-plugin/plugin.json + /plugin install），SKILL.md 遵循 Claude Agent Skills 标准格式 |
| Codex | 原生支持 | 仓库根 README 明确写明“Codex supports Claude plugin marketplaces directly”，并给出 codex plugin marketplace add 专用安装命令（已抓取原文验证） |
| OpenClaw | 未验证 | 已抓取材料未提及 OpenClaw 支持，未为此单独搜索 |
| Hermes Agent | 未验证 | 已抓取材料未提及 Hermes 支持 |
五、推荐理由
安全审计中最容易被压缩掉的不是“找漏洞”这一步，而是“找漏洞之前先把代码看懂”这一步——时间紧张时很容易满足于“大致理解”，结果是把假设当成事实，漏掉那些藏在跨函数调用链里的问题。audit-context-building 把这个容易被跳过的环节固化成一套强制流程：逐行分析、量化的完整性门槛、显式的假设更新机制，外部调用还区分“代码可见”与“黑盒”两种处理方式。它是纯提示词驱动的方法论技能，不执行代码、不外联，复制即用；配套的 function-analyzer 子代理可以把高密度函数的分析拆出去单独处理，避免主上下文被撑爆。技能刚在近日由 Trail of Bits 官方工程师发起重构（转为动态工作流），说明这不是一次性发布后就搁置的内容，而是仍在被持续打磨的活跃项目。
六、评分
| 维度 | 分数 | 说明 |
|---|---|---|
| 受欢迎程度 | 7 | 所属市场由 Trail of Bits（一线安全研究与审计机构）官方出品持续维护；本技能有两次官方员工发起的专属功能提交（新增子代理、近日启动的工作流重构），但尚未积累独立于该仓库之外的第三方讨论 |
| 可用性 | 9 | 纯 SKILL.md + 配套子代理 + 三份参考文档（完整示例走查、输出格式要求、完整性检查清单），无需任何外部二进制、API Key 或付费依赖；/plugin install 一条命令安装；近日仍有官方提交，维护活跃 |
| 安全性 | 9 | 见下方安全检查清单 |
| 综合评分 | 8.3 | 三项均值 |
安全检查清单：
| 检查项 | 结果 |
|---|---|
| ① Shell 命令与权限范围 | SKILL.md 本体不声明 allowed-tools；配套 function-analyzer 子代理工具权限仅限只读的 Read/Grep/Glob，不涉及写入或执行 |
| ② 运行时联网外发 | 全程基于对话内文本与本地代码只读分析，未发现任何网络请求或数据外发行为 |
| ③ API Key/凭据 | 不要求任何凭据或密钥 |
| ④ 可疑指令排查 | 已完整抓取并逐段阅读 SKILL.md、README、配套子代理文件全文，未发现 prompt injection 或要求执行流程外操作的隐藏指令 |
| ⑤ 作者/组织信誉 | Trail of Bits——知名安全研究与审计公司，plugin.json 具名声明作者与官方联系邮箱 |
| ⑥ License | CC-BY-SA-4.0，仓库根目录明确声明；提示：衍生分发需遵守“相同方式共享”条款 |
| ⑦ 最近维护 | 最近一次专属提交/PR 为 2026-07-31，仓库整体最近推送 2026-08-02，维护活跃 |
未给满分 10 分的原因：内容属纯提示词方法论、无代码执行，但作为合集子技能尚缺少独立于仓库之外的第三方审计或引用佐证，因此评为 9 分而非满分。
七、跟同类 Skills 相比的优势
| 对比对象 | 定位 | 与本 skill 的差异 |
|---|---|---|
| sharp-edges（同市场） | 评估 API、配置项、加密库接口是否“易被误用导致安全问题”，聚焦接口设计层面的安全隐患 | 关注点是“接口设计本身是否安全”；本 skill 关注点是“如何看懂一段已有代码的行为与假设”，前者审查设计，后者建立理解，服务于审计流程中不同阶段 |
| spec-to-code-compliance（同市场） | 比对代码实现与白皮书/规范文档，专门服务区块链协议审计，找出规范与实现之间的差距 | 需要额外提供规范文档作为比对基准，且场景限定在区块链协议；本 skill 不依赖任何外部规范文档，通用于任意代码库的架构理解，适用范围更宽 |
核心差异化：市面上的代码理解类技能大多要么停留在“生成高层摘要”的粗粒度总结，要么像 spec-to-code-compliance 那样依赖额外的规范文档做比对；本 skill 走的是“强制逐行、跨调用链连续追踪”的路线，用量化门槛（不变量数量、假设数量、风险点数量）防止分析半途而废，且不需要任何前置文档，拿到代码就能直接开始。
八、用户评价
该技能目前在第三方平台尚无具名用户评价；其所属的 Trail of Bits 技能市场整体获得安全媒体 Snyk 撰文推荐，称其为“安全向 Claude Skills 的黄金标准”，但该评价针对整个市场，未点名本技能。
九、其他补充
所属 trailofbits/skills 市场同时收录 differential-review（差异化代码审查）、issue-writer（把审计发现写成报告）等技能，SKILL.md 中明确将本技能定位为这些技能的前置步骤——先用本技能建立理解，再进入漏洞挖掘与报告撰写阶段。
十、安装使用方式
Claude Code 插件市场（推荐）：
/plugin marketplace add trailofbits/skills
/plugin install trailofbits/skills/plugins/audit-context-buildingCodex：
codex plugin marketplace add trailofbits/skills
codex plugin add audit-context-building@trailofbits安装后注意事项： 安装无需重启，且不需要任何额外配置或凭据。就绪后把待审计的代码库路径交给 Agent，要求“用 audit-context-building 对这段代码建立审计上下文”，技能会依次执行初步定位、逐函数细粒度分析、全局系统理解三个阶段；也可通过配套的 /trailofbits:audit-context <代码库路径> 命令直接触发。
十一、注意事项
- 明确排除的场景：本技能不识别漏洞、不提修复建议、不做严重程度评估——这些属于流程中后续的专职技能，使用前需明确它只负责“建立理解”这一步；
- License 为 CC-BY-SA-4.0，企业二次分发衍生内容前建议法务确认“相同方式共享”条款的适用范围；
- 该技能是“合集仓库中的一个子技能”，来源链接与安装命令务必使用本报告给出的子目录级路径，而非仓库根链接；
- 该技能当前正被官方重构为动态工作流（尚未合并），未来版本的具体行为可能与本报告描述有出入，建议关注仓库更新；除 Claude Code / Codex 外，OpenClaw、Hermes Agent 的兼容性尚无可验证材料，如需在其他 Agent 环境使用请自行测试。