supply-chain-risk-auditor：用脚本度量依赖供应链风险
supply-chain-risk-auditor 是 Trail of Bits skills 市场中的 Agent Skill，针对 npm、PyPI、Go 项目的 manifest 与锁文件生成供应链风险报告。通过 collect.py 与 render.py 采集版本匹配的公告、传递依赖、上游归档、npm 发布者集中度及安装脚本等指标，Agent 负责优先级与升级建议。文章说明安装方式、工作流、gh 认证影响及适用边界，强调 unassessable 与覆盖范围表的读法，避免手工估数替代脚本测量。
阅读全文testing-handbook-skills：把 Testing Handbook 变成可执行的 AppSec 测试工作流
testing-handbook-skills 是 Trail of Bits skills 市场中的 Code Auditing 插件，把 appsec.guide 上的 Testing Handbook 结构化为 Claude Code/Codex 可用的 Skill：含 testing-handbook-generator 元技能、14 个已生成的 fuzzer/技术/领域专题，以及 validate-skills.py 校验。文章说明其定位、生成工作流、Claude Code 与 Codex 安装命令、典型生成提示与 uv 校验用法，并交代手册路径解析、未生成交叉引用及工具环境需自备等注意点。
阅读全文mutation-testing：用 Agent Skill 跑 mewt/muton 变异测试战役
mutation-testing 是 Trail of Bits skills 市场中的 Verification 类 Skill，用于在 AI 辅助下配置 mewt 或 muton 变异测试战役、分析存活变异体并从测试缺口追查源码问题。Skill 按场景路由配置加速、bug-hunter 与结果分析报告等工作流，并约定 Uncaught、Timeout 等结果含义及常用 CLI。文章说明 Claude Code/Codex 添加 trailofbits/skills 市场的方式，以及 init、run、results、test 等典型命令，适合已使用或计划使用变异测试的团队。
阅读全文rust-review：面向 Rust 代码库的安全审查 Skill
rust-review 是 Trail of Bits skills 市场中的 Rust 代码安全审查 Skill，通过编排器与 worker/dedup/fp 子代理覆盖 safe/unsafe 边界、unsafe 内存安全、并发、panic-DoS、FFI 与 async 运行时问题，产出 REPORT.md 与 REPORT.sarif。适用于审计含 unsafe、FFI 或并发的 crate 与服务；纯 C/C++、智能合约与密钥清零等场景应改用 c-review、合约类 Skill 或 zeroize-audit。在 Claude Code 或 Codex 中添加 trailofbits/skills 市场后，用 /rust-review:rust-review 启动审查。
阅读全文agentic-actions-auditor：审计 GitHub Actions 里 AI Agent 集成的安全风险
agentic-actions-auditor 是 Trail of Bits skills 市场中的 Skill，用于对调用 Claude Code Action、OpenAI Codex、Gemini CLI、GitHub AI Inference 的 GitHub Actions workflow 做静态安全审计。它指导 Agent 发现 workflow、识别 AI 步骤、跟进 composite/reusable 引用，并检测环境变量中转、表达式注入、危险沙箱与通配符用户白名单等向量。支持本地 Glob 扫描与通过 gh api 拉取远程仓库。适用于 CI 接入 Agent 前的安全评审，不做运行时 exploit 或自动改文件。
阅读全文skill-improver：用 fix-review 循环把 SKILL.md 打磨到可发布
skill-improver 是 Trail of Bits skills 市场中的元技能，依赖 plugin-dev 的 skill-reviewer，对目标 SKILL.md 反复执行审查、按 Critical/Major/Minor 修复与再审查，直到输出 skill-improvement-complete 或达到默认 20 轮上限。适合批量对齐 frontmatter、触发描述与 When to Use 结构；单次评审应直接用 skill-reviewer。安装需先加入 trailofbits/skills 市场并启用 plugin-dev，在 Claude Code 用 /skill-improver 指定路径启动循环。
阅读全文second-opinion：用 Codex 或 Antigravity 对 Git 变更做外部代码审查
second-opinion 是 Trail of Bits skills 市场中的 Agent Skill，对未提交变更、分支 diff 或指定 commit 调用 Codex、Antigravity 或 Gemini CLI 做独立代码审查并整理 findings，支持双提供方同 patch 对比。它不自动改代码也不发帖远端。文章说明审查范围与 focus、diff 与临时文件约定、各 CLI 调用方式，以及 Claude Code 与 Codex 的市场安装命令与官方斜杠示例。
阅读全文audit-context-building：漏洞狩猎前先建审计上下文
Trail of Bits 的 audit-context-building Skill 在审计与威胁建模起点，按函数梳理假设、保证与依赖，产出 DOSSIER 与函数级记录，标注 nothing found 与开放问题，不命名漏洞。适用于 Claude Code、Codex 等通过 trailofbits/skills 市场安装。
阅读全文sharp-edges：用「设计审查」视角找 API 里的安全 footgun
sharp-edges 是 Trail of Bits 提供的 Agent Skill，用于评估 API、配置与接口是否抗开发者误用，聚焦算法选择、危险默认值、配置悬崖、静默失败等六类 footgun，并以 pit of success 为原则。提供 sharp-edges-analyzer 与四阶段分析工作流。安装：npx skills add https://github.com/trailofbits/skills --skill sharp-edges。适合 API/配置设计评审，不替代实现 bug 或业务逻辑审计。
阅读全文用 variant-analysis 做变体分析：找到一个 Bug，再把同类搜干净
Trail of Bits 的 variant-analysis 把安全工程师日常的变体分析写成 Agent Skill：在已经确认一处漏洞后，抽出根因、用精确模式校准，再一次只放宽一个条件搜整仓，最后分诊并留下 CI 规则。本文按官方 SKILL.md、插件 README 和策略文档，说明五步流程、ripgrep/Semgrep/CodeQL 的选用，以及 Claude Code、Codex、Cursor 的安装与调用方式。
阅读全文semgrep-rule-creator：用 Agent 写出可测试的 Semgrep 安全规则
semgrep-rule-creator 是 Trail of Bits 推出的 Agent Skill，用来创建可检测安全漏洞、Bug 模式与代码模式的自定义 Semgrep 规则。它不跑现成规则集，而是强制 Agent 按测试先行、AST 分析、污点模式优先、全部测通后再优化的流程产出规则。本文依据官方 SKILL.md、插件 README 与技能市场说明，整理安装方式、七步工作流、eval 污点示例以及使用边界。
阅读全文property-based-testing：Trail of Bits 把属性测试写成可复用的 Agent Skill
Trail of Bits 的 property-based-testing 是一份跨语言、含智能合约的属性测试指导 Skill。它教 Agent 识别编解码、解析、归一化和合约不变量，按往返、幂等等性质写测试，并在失败时区分测试错误与真 bug。文章依据官方 SKILL.md、插件 README 与市场仓库，说明 Claude Code / Codex 安装、npx skills add，以及 Hypothesis 等可复现示例。
阅读全文differential-review：Trail of Bits 把 PR 安全差异审查写成可执行流程
differential-review 是 Trail of Bits 发布的 Agent Skill，对 PR、commit 和 diff 做安全导向审查：按风险而非行数分流，用 git 历史抓回归，定量计算爆炸半径，把缺测试写成更高风险，并强制输出带行号与攻击场景的 Markdown 报告。本文核对官方 SKILL.md、插件 README 与文档站，说明它解决什么问题、如何在 Claude Code / Codex / 通用 Skill 目录里安装，以及三类官方用法和不适用场景。
阅读全文