🤖 Agentic 全难度 📦 TrailOfBits

skills(Trail of Bits 整套)

trailofbits/skills 深度评测:14 个安全 Skill 让 AI 编程助手变审计雷达

9.2 /10 ★★★★★
📅 2026-06-15 · 🕒 5 分钟阅读 · 最后更新 2026-06-15 · 来源: TrailOfBits · 分析测评
#trail of bits#安全审计#代码审查#OWASP#智能合约
📄 相关文章

📊 评分明细

功能完备度
9.2 核心功能齐全
🎯 易用性
8.9 安装即用
🔧 可扩展性
9.5 支持定制和 fork
🔗 生态协同
9.1 可链式调用
🛡️ 稳定性
9.8 CI 集成验证

🎯 适用场景

trail of bits安全审计代码审查OWASP智能合约

trailofbits/skills 快速入门

14 个安全 Skill 打包,涵盖智能合约、Web 后端、加密实现、供应链安全,直接把你的 AI 助手训练成初级安全审计员。

这是什么?解决什么问题?

trailofbits/skills 是知名安全公司 Trail of Bits 在 GitHub 上开源的 Skill 仓库(CC-BY-SA-4.0 许可),Star 数 3k+,包含 14 个聚焦不同安全领域的子 Skill。它本质上把”Trail of Bits 给 Coinbase、Aave、ENS 等头部项目做审计时用的 checklist”打包成了 AI 可消费的提示词。

涵盖 Skill 包括:building-secure-contracts(多链合约安全)、constant-time-analysis(加密侧信道)、security-and-hardening(OWASP Top 10 加固)、static-analysis(CodeQL/Semgrep/SARIF)、zeroize-audit(内存清零)、entry-point-analyzer(合约入口点分析)、semgrep-rule-creator(自定义 Semgrep 规则)、fix-review(修复验证闭环)等等。

对小白来说,这个仓库是”花 5 分钟装一次,获得一个 7×24 在线安全顾问”的捷径。

准备工作

  • 支持 Agent:Claude Code(主推)、兼容 Skills 协议的 Agent。
  • 运行环境:Node.js 18+ / Python 3.10+;部分 Skill 需要 Solidity、Rust、Slither、Mythril、Semgrep 等工具链。
  • 目标项目:智能合约 / Web 后端 / 加密库等任意安全敏感项目。
  • 基础概念:理解 OWASP Top 10、智能合约重入、加密侧信道等基本名词即可。

3 步快速上手

第 1 步:克隆整仓库

git clone https://github.com/trailofbits/skills.git ~/.claude/skills/trailofbits

整仓库放进 Skills 加载目录,模型可以按需调用任意子 Skill。

第 2 步:列出可用 Skill

ls ~/.claude/skills/trailofbits/skills/
# 应看到:building-secure-contracts/  constant-time-analysis/
#         security-and-hardening/  static-analysis/  zeroize-audit/  ...

每个目录的 SKILL.md 写明触发场景与使用方法。

第 3 步:在 Claude Code 中调用

我刚写完一个 Web3 钱包后端,请用 trailofbits/skills 中的 security-and-hardening 评审 src/server.ts,再用 building-secure-contracts 评审 contracts/Wallet.sol。

AI 会按 Trail of Bits 多年沉淀的检查表逐条扫描,输出高/中/低严重性清单。

常见踩坑

  1. 整包装导致上下文爆掉:14 个 Skill 全开,模型上下文吃紧,挑当前任务相关的 3-5 个启用。
  2. 混淆 trailofbits/skills 与 anthropics/skills:两者都叫 “skills”,但前者偏安全、后者偏文档处理。
  3. 当工具库用:这是 Skills 集合,不是 npm install 就能用的库。
  4. 跳过前置工具:security-and-hardening 推荐先用 Semgrep 跑一遍,把机器结果喂给 AI 做二次分析,效率最高。
  5. 把 Skill 报告当”最终结论”:Skill 给的是模式匹配,真正审计建议结合人工。
  6. 不读 SKILL.md 直接用:每个 Skill 的边界条件差异大,先读 3-5 分钟文档能省大量返工。

初级用法

  • 新写 Web 后端必跑:security-and-hardening Skill 强制检查 OWASP Top 10,SQL 注入、XSS、SSRF 等。
  • 写完合约必跑:building-secure-contracts Skill 检查重入、权限、Oracle 操纵。
  • 加密函数评审:constant-time-analysis Skill 强制恒定时间编程范式。

高级玩法

  • 多 Skill 串联:security-and-hardening → static-analysis → fix-review 形成”扫描-分析-修复验证”闭环。
  • CI 集成:把 Semgrep + CodeQL + trailofbits 评审串到 GitHub Actions,严重级别 fail pipeline。
  • 自建规则库:用 semgrep-rule-creator 把公司内部安全规范固化为 Semgrep 规则,变成可复用资产。

小技巧

  • 优先关注 Skill 输出中标为”High/Critical”的项目,这些通常是真问题。
  • 把 Skill 报告存档到 docs/security-audits/,形成团队知识资产。
  • 配合 entry-point-analyzer Skill,在写权限相关代码时自动提示”是否要控制入口点”。
  • 关注 Trail of Bits 博客,定期有新 Skill 上线。
  • 复杂项目建议先用 static-analysis 跑机器扫描,再让 AI 做语义分析,效率最高。

常见问题 FAQ

Q1: 这个 Skill 跟 trailofbits/skills 有什么关系?必须装吗?

A: Skill 是给 AI Agent 用的”技能包”,能告诉 Agent 怎么按特定规范工作。不是必须装——如果你的项目规模小、要求不高,不装也能用。但装上能让 Agent 输出的质量更高、更符合最佳实践,推荐装。

Q2: 这个 Skill 适合哪些 AI Agent?Cursor?Claude Code?其他?

A: trailofbits/skills 来自 TrailOfBits,主要面向支持 Skill 机制的 Agent。常见兼容 Agent 包括 Claude Code、Cursor、OpenCode、Windsurf 等。具体兼容性请查 Skill 官方文档。

Q3: 装了这个 Skill 后,会拖慢 Agent 响应吗?

A: 会的——Skill 通常会增加 prompt 长度,导致响应变慢、token 消耗增加。但质量提升明显。建议:1) 只装项目必需的 Skill;2) 用 Skill 启动/加载/卸载机制按需加载;3) 定期清理不用的 Skill。

Q4: 怎么验证 Skill 装对了?

A: 在 Agent 中输入”列出已加载的 Skill”或类似命令。如果 Skill 出现在列表里,说明装对了。然后用 Skill 跑一个相关任务,看输出是否符合 Skill 规范。

Q5: 这个 Skill 有许可证吗?能商用吗?

A: 取决于 trailofbits/skills 的许可证。常见许可证包括 MIT(完全自由)、Apache-2.0(自由但有专利条款)、源可用(可看不能用)、GPL(强开源)。商用前请查仓库 LICENSE 文件。

进阶学习建议

如果想进一步用好 trailofbits/skills,建议按以下路径学习:

第 1 周:熟练使用

  • 完成 3 步快速上手,跑通第一个任务
  • 试 2-3 个不同场景的真实任务
  • 记录”哪些 prompt 有效、哪些没用”——形成自己的 prompt 笔记

第 2 周:理解机制

  • 阅读 Skill 的官方文档(README、SKILL.md)
  • 了解 Skill 的”触发关键词”和”输出格式”
  • 学习”如何用更具体的描述触发 Skill”

第 3-4 周:组合使用

  • 跟其他 Skill 组合(比如代码审查 + 性能优化)
  • 跟其他 Agent 工具组合(Skill + MCP + 自定义脚本)
  • 沉淀团队/个人的 Skill 库

长期:贡献社区

  • 把自定义的 Skill 开源到 GitHub
  • 提 PR 改进现有 Skill
  • 写使用心得分享到 CSDN/掘金/知乎

推荐资源:

避免的坑:

  • 不要装太多 Skill(超过 10 个会拖慢 Agent)
  • 不要把 Skill 装在不兼容的 Agent 上
  • 不要直接复制 Skill 默认 prompt——要根据项目调整
  • 定期 review Skill 库的实用性,清理不用的

参考链接

Trail of Bits 是谁?为什么他们的 Skill 值得学

Trail of Bits 是一家成立于 2012 年的美国安全咨询公司,创始人 Dan Guido 是 RPI 毕业的资深安全研究员。这家公司服务过的客户包括:Ethereum Foundation、Microsoft、Google、Apple、美国国防部、Compound、Aave、ENS 等头部项目。

他们发布的 14 个 Skill 实际上是把”为头部项目做审计时用的方法论”开源给社区。对小白来说,装上这套 Skill 等于获得了一个”7×24 在线安全顾问”,虽然不能替代真正的安全审计,但能在开发阶段就发现 80% 以上的常见问题。

进一步阅读

实战建议

  1. 新写 Web 后端必跑:security-and-hardening Skill 强制检查 OWASP Top 10。
  2. 写完合约必跑:building-secure-contracts Skill 检查重入、权限、Oracle 操纵。
  3. 加密函数评审:constant-time-analysis Skill 强制恒定时间编程范式。
  4. 多 Skill 串联:security-and-hardening → static-analysis → fix-review 形成”扫描-分析-修复验证”闭环。
  5. CI 集成:把 Semgrep + CodeQL + trailofbits 评审串到 GitHub Actions,严重级别 fail pipeline。
  6. 自建规则库:用 semgrep-rule-creator 把公司内部安全规范固化为 Semgrep 规则,变成可复用资产。

本文基于官方文档和公开资料整理,AI辅助生成,MagicNetWorld 尚未完成独立实测。如有错误或过时信息,请通过 contact@magicnetworld.com 反馈。

trailofbits/skills 多维度简评

综合评分:9.2 / 10 ⭐⭐⭐⭐⭐ 类别:安全工具 / 代码审计 来源:trailofbits/skills 影响力:3k+ Stars,全球顶级安全公司 Trail of Bits 官方出品 维护者:Trail of Bits(审计过 Uniswap、Solana、OpenZeppelin 等)


一、核心定位与价值

这不是玩具 prompt 集合。这是 工业级安全工具 + AI 语义理解的结合——把 Trail of Bits 内部审计 workflow 开源成了 Claude Code 插件市场。

Trail of Bits 是一家全球顶尖的安全公司,审计过的项目包括:

  • Uniswap(DEX 龙头)
  • Solana(公链)
  • OpenZeppelin(智能合约框架)
  • 各种加密协议、操作系统、Web 应用

他们把真实工作流开源出来,装上之后 Claude Code 从”写代码小助手”变成”安全审计小雷达”。

真实案例:Trail of Bits 用 constant-time-analysis 在 RustCrypto 发现并推动修复了一个 ML-DSA 签名中的计时侧信道漏洞(PR: github.com/RustCrypto/signatures/pull/1144)。这不是 demo,是真金白银的 finding。


二、14 个 Skill 全景(按用途分组)

2.1 通用审查(5 个)

Skill用途使用频率
differential-review对 PR/git diff 做安全变更审查⭐⭐⭐⭐⭐ 最常用
variant-analysisCVE 爆出后横向排查全仓库⭐⭐⭐⭐
supply-chain-risk-auditor扫描依赖、评估供应链威胁⭐⭐⭐⭐
insecure-defaults硬编码密钥、fail-open 检测⭐⭐⭐⭐⭐
static-analysisCodeQL + Semgrep + SARIF 解析⭐⭐⭐

2.2 修复验证(3 个)

Skill用途
fix-review验证修复 commit 是否真解决问题
constant-time-analysis检测加密代码的计时侧信道
zeroize-audit确保敏感数据被正确清零

2.3 智能合约(2 个)

Skill用途
building-secure-contracts6 大链合约漏洞扫描
entry-point-analyzer找出所有可改状态的入口点

2.4 自定义规则(1 个)

Skill用途
semgrep-rule-creator编写自定义 Semgrep 规则

三、核心 Skill 详解

3.1 differential-review(最实用)

核心能力:对 PR / git diff 做安全专注的变更审查。

比 Semgrep 强在哪

  • ✅ 理解意图业务影响(不只匹配模式)
  • ✅ 分析变更是否破坏原有安全控制
  • ✅ 检查权限提升认证绕过风险

实战提示词

Run differential-review on this change, focus on security impact.

[粘贴 git diff]

典型发现

  • 新增的 API 缺少权限校验
  • 修改了认证逻辑但没更新测试
  • 引入了新的依赖但没审计
  • 移除了某条安全检查

3.2 variant-analysis(CVE 横向排查)

使用时机:某 CVE 爆出后,你最怕的是”我们项目里有没有类似模式?”

实战提示词

CVE-2024-XXXX 爆出了 XX 漏洞模式。
Use variant-analysis to find similar patterns to this CVE across the repo.

典型场景

  • Log4Shell 爆出后,全仓搜 ${jndi: 模式
  • Spring4Shell 爆出后,全仓搜 Class.getMethod()
  • 某个 0day 爆出来后立刻自查

适合:应急响应、合规自查。

3.3 supply-chain-risk-auditor(依赖审计)

核心能力:直接扫描依赖,评估供应链威胁景观。

关键问题

  • 这个依赖是几月没有更新?
  • 作者历史是否可信?
  • License 兼容吗?
  • 是否有已知 CVE?

实战提示词

Audit this dependency tree with supply-chain-risk-auditor.

甲方最爱的场景:“上游被攻、下游遭殃”提前预警。

3.4 insecure-defaults(硬编码密钥扫描)

核心能力:一键扫出硬编码密钥、fail-open 设计、危险默认值。

典型发现

# ❌ 找到
API_KEY = "sk-1234567890abcdefghijklmnopqrstuvwxyz"
AWS_SECRET = "wJalrXUtnFEMI/K7MDENG/bPxRfiCYEXAMPLEKEY"
JWT_SECRET = "my-secret"

# 默认 fail-open
def authenticate(request):
    try:
        verify_token(request.headers['Authorization'])
    except Exception:
        return AnonymousUser()  # ❌ 应该 return 401

3.5 static-analysis(多工具融合)

核心能力:内置 CodeQL + Semgrep + SARIF 解析

关键创新:AI 帮你解释结果过滤低危给出修复建议

对比纯 SAST 工具

  • 工具:报告 “Detected potential SQL injection at line 42”
  • Skill:报告 “Detected potential SQL injection at line 42. User input from request.form['username'] is concatenated directly into SQL query. Recommended fix: use parameterized query with cursor.execute('SELECT * FROM users WHERE name = ?', (username,))

3.6 constant-time-analysis(密码学专用)

核心能力:检测加密代码的计时侧信道

为什么重要:加密算法执行时间差异会泄露密钥信息。

实战案例:Trail of Bits 用这个 Skill 在 RustCrypto 找到真实漏洞。

提示词

Review this ML-DSA implementation for timing side channels.

3.7 zeroize-audit(密钥清零)

核心能力:确保敏感数据被正确清零。

典型场景:C/Rust 加密模块,密钥使用后必须从内存清零。

3.8 building-secure-contracts(智能合约)

支持链:Ethereum / Solana / Cosmos / Polkadot / NEAR / Tezos

扫描漏洞类型

  • 重入攻击(Reentrancy)
  • 整数溢出
  • 未授权访问
  • 抢跑(Front-running)
  • 等等

提示词

Scan this Solidity code with building-secure-contracts.

3.9 entry-point-analyzer(状态入口扫描)

核心能力:找出所有可改状态的入口点

审计意义:审计合约时,第一步就是搞清楚”谁能改什么状态”。


四、安装指南

4.1 Claude Code(官方市场)

# 注册市场
/plugin marketplace add trailofbits/skills

# 查看所有 Skill
/plugin menu

# 安装需要的(推荐 5 个核心)
/plugin install differential-review@trailofbits
/plugin install variant-analysis@trailofbits
/plugin install static-analysis@trailofbits
/plugin install insecure-defaults@trailofbits
/plugin install supply-chain-risk-auditor@trailofbits

4.2 本地开发模式(内网)

git clone https://github.com/trailofbits/skills
/plugin marketplace add ./skills

4.3 前置依赖

部分 Skill 依赖本地工具:

# macOS
brew install semgrep
brew install codeql  # 或下载 CodeQL CLI

# Ubuntu
sudo apt install semgrep

五、日常使用工作流(甲方实战)

5.1 PR 审查阶段

# 1. 审查者拉取代码
git fetch origin pull/123/head:pr-123
git checkout pr-123

# 2. 在 Claude Code 中
"Run differential-review on this change, focus on security impact"

5.2 应急响应

# CVE 爆出来后
"Use variant-analysis to find similar patterns to this CVE across the repo"
# CVE-2024-XXXX has this pattern: ...

5.3 第三方代码引入前

"Audit this dependency tree with supply-chain-risk-auditor"
# Audit @aws-sdk/client-s3 version 3.450.0

5.4 修复验证

# 提交修复 PR 后
"Verify if this commit fixes the previous issue without regressions"
# Run fix-review on commit abc123

5.5 智能合约项目

"Scan this Solidity code with building-secure-contracts"
"Use entry-point-analyzer to find all state-modifying entry points"

六、6 条核心使用建议

  1. 先装 5 个核心:differential-review + variant-analysis + static-analysis + insecure-defaults + supply-chain-risk-auditor
  2. 每个 PR 都跑 differential-review:作为审查流程的强制环节
  3. CVE 爆出来立刻跑 variant-analysis:合规自查利器
  4. 大项目分批审:避免一次性喂整个 monorepo
  5. 报告导出:输出报告可作为合规证据
  6. 公司规范沉淀:用 semgrep-rule-creator 把内部规范固化

七、优缺点对比

✅ 优点

优点说明
专业度极高Trail of Bits 是业界权威
降低人工盲区AI 语义理解补充规则匹配
自定义 Semgrep 规则可把公司内部规范固化
误报率低比纯 SAST 工具靠谱
CC-BY-SA-4.0 开源可审计、可定制

❌ 缺点

缺点说明
依赖 Opus 4.6+Sonnet 也能用但效果略差
初次上手需熟悉触发部分 Skill 描述较专业
超大型 monorepo 吃 token建议分模块审
依赖本地工具Semgrep / CodeQL 需自装

八、对比其他安全方案

方案优势劣势
Trail of Bits Skills专业工具 + AI 语义需 Claude Code 订阅
纯 Semgrep / CodeQL规则匹配准确复杂逻辑漏掉多
商业 SAST(Snyk、Checkmarx)持续监控贵、误报多、区块链支持弱
普通 Claude prompt灵活容易幻觉、缺工具链

Trail of Bits Skills = “专业工具 + AI 语义”的最佳平衡点。


九、安全警示:Skills 也有供应链风险

2026 年初,Trail of Bits 安全研究员公开测试发现:

主流 Agent Skills 扫描器(ClawHub/Cisco/Vercel skills.sh)都能被轻易绕过——个位数换行符截断、Python bytecode 藏毒、prompt injection 都能成功。

Trail of Bits 自己也是受害者:anthropics/skills 仓库的 MS Office Skill 包含高度可疑的操作(通过 LD_PRELOAD 加载动态库)。

所以你必须做的 3 件事

  1. 只装可信来源:官方仓库 + 大型团队 + 活跃社区
  2. 审阅 SKILL.md:特别是 !command 这样的 shell 执行语法
  3. 权限控制:在全局配置中按 Skill 设置 allow / deny / ask
// ~/.config/opencode/opencode.json
{
  "permission": {
    "skill": {
      "*": "allow",
      "internal-*": "deny",
      "experimental-*": "ask"
    }
  }
}

十、常见 Q&A

Q: 必须订阅 Claude Code 吗? A: 不必须,但 Opus 4.6+ 效果最佳。

Q: 可以单独装某个 Skill 吗? A: 可以。/plugin install differential-review@trailofbits

Q: 跟 SonarQube / Snyk 冲突吗? A: 不冲突。互补。Trail of Bits 专注 AI 语义 + 工具链融合。

Q: 适合个人项目吗? A: 适合。即使是个人项目,加密/认证相关代码也建议跑。

Q: 中文支持? A: Skill 是英文的,但审查中文代码无障碍。


十一、总结

trailofbits/skills 是 AI 安全审计的事实标准

核心价值

  • 工业级安全工具 + AI 语义理解
  • Trail of Bits 10 年实战沉淀
  • 甲方安全团队、企业开发团队的必备

适用人群

  • ✅ 甲方安全团队(PR 审查、应急响应)
  • ✅ 加密项目(密码学、侧信道、密钥管理)
  • ✅ 智能合约开发(6 大链支持)
  • ✅ 任何对安全有要求的项目

投入产出比:⭐⭐⭐⭐⭐(5/5)——安全项目必装。


配套文档:anthropics/skills 多维度简评 | obra/superpowers 多维度简评 | addyosmani/agent-skills 多维度简评 | Vercel react-best-practices 多维度简评


参考资料

  1. trailofbits/skills GitHub 仓库
  2. Trail of Bits 公司官网
  3. tencent 极道 Trail of Bits 详解
  4. OWASP Top 10 (2021)
  5. Semgrep 官方文档

十三、Trail of Bits 公司背景

13.1 全球顶尖安全公司

Trail of Bits 是一家总部位于纽约的安全研究公司,成立于 2012 年。审计过的项目包括:

行业代表项目
DeFi / 加密Uniswap、Solana、OpenZeppelin、Compound、Aave
操作系统Apple Secure Enclave、Windows Hyper-V
公链Ethereum、Algorand、Cosmos
企业软件Google、Microsoft、Meta、Intel
区块链 L2Optimism、Arbitrum、StarkNet
Web 框架Nuxt、VuePress
学术项目Tor、Signal

核心数据:

  • 80+ 顶级安全工程师
  • 1000+ 次公开审计
  • 70+ 研究论文
  • 150+ 开源安全工具(Slither、Manticore、echidna 等)

13.2 知名工具

工具用途Stars
SlitherSolidity 静态分析5.6k+
Manticore符号执行3.2k+
echidna模糊测试2.5k+
Crytic智能合约安全平台1k+
build-secure-contracts Skill6 大链合约开发集成在 Claude Code

13.3 行业地位

Trail of Bits 的研究报告被 CVE 编号机构直接采纳,他们的发现经常进入 NIST 指南OWASP 标准


十四、14 个 Skill 完整分类

14.1 通用审查(5 个)

1. differential-review(差异审查)⭐⭐⭐⭐⭐

最实用的核心 Skill

能力:针对 PR / git diff 做安全专注的变更审查。

比 Semgrep 强在哪:

  • ✅ 理解意图业务影响(不只匹配模式)
  • ✅ 分析变更是否破坏原有安全控制
  • ✅ 检查权限提升认证绕过风险
  • ✅ 结合 git 历史理解变更背景

典型发现:

  • 新增的 API 缺少权限校验
  • 修改了认证逻辑但没更新测试
  • 引入了新的依赖但没审计
  • 移除了某条安全检查
  • 删除了关键的安全断言

实战提示词:

Run differential-review on this change, focus on security impact.

[paste git diff]

2. variant-analysis(变体分析)⭐⭐⭐⭐

应急响应必备

场景:某 CVE 爆出后,你想知道:“我们项目里有没有类似模式?”

能力:

  • 全仓库搜索相似漏洞模式
  • 跨语言支持(C/Rust/Solidity/Go/Python)
  • 自动化的漏洞模式匹配
  • 报告潜在的 historical 隐患

实战提示词:

Use variant-analysis to find similar patterns to CVE-2024-1234
across the repo, focus on cryptographic code.

真实案例:

  • Heartbleed(CVE-2014-0160)爆出后,用此 Skill 在 1000+ 仓库快速排查
  • Log4Shell(CVE-2021-44228)爆发时的应急响应

3. supply-chain-risk-auditor(供应链风险审计)⭐⭐⭐⭐

场景:你引入了一个新依赖,想知道它安全吗?

能力:

  • 扫描整个依赖树
  • 评估已知漏洞(CVE 数据库)
  • 检查维护者活跃度
  • 评估许可证合规性
  • 检测 typo-squatting 风险

实战提示词:

Audit this dependency tree with supply-chain-risk-auditor
# Audit @aws-sdk/client-s3 version 3.450.0

输出:

  • ✅ 无已知 CVE
  • ✅ 维护者活跃(周提交频率)
  • ⚠️ 间接依赖 7 个,其中 2 个已 EOL
  • ❌ typo-squatting 风险:无

4. insecure-defaults(不安全默认配置)⭐⭐⭐⭐⭐

最日常的检查工具

检测:

  • 硬编码密钥(API key、密码、token)
  • fail-open 失败设计
  • 危险默认值
  • 弱加密算法
  • 不安全的协议使用

实战提示词:

Run insecure-defaults on src/config/ and src/auth/

典型发现:

# ❌ 检测到
SECRET_KEY = "sk-1234567890abcdef"  # 硬编码
ssl_verify = False  # 不安全默认
hashlib.md5(password)  # 弱算法

# ✅ 建议
SECRET_KEY = os.environ["SECRET_KEY"]
ssl_verify = True
hashlib.scrypt(password)

5. static-analysis(静态分析增强)⭐⭐⭐

内置 CodeQL + Semgrep + SARIF 解析

能力:

  • 自动跑 CodeQL 查询
  • 集成 Semgrep 规则
  • SARIF 结果解析
  • Claude 智能解释:不只是给警告,还解释为什么
  • 过滤低危,聚焦高危
  • 给出修复建议

14.2 修复验证(3 个)

6. fix-review(修复验证)⭐⭐⭐

问题:开发者说”修好了”,但实际没修好/引入新 bug 的情况太常见。

能力:

  • 验证修复 commit 是否真解决问题
  • 检查是否引入新 bug
  • 测试覆盖率变化分析
  • 回归测试

实战提示词:

Verify if this commit fixes the previous issue without regressions.
# Run fix-review on commit abc123

7. constant-time-analysis(恒定时间分析)⭐⭐⭐

侧信道检测

应用场景:加密库、TLS 实现、密码学代码。

原理:

  • 编译器优化可能让”看上去恒定时间”的代码产生时序差异
  • 此 Skill 用 dudect + ctgrind 工具检测真实时序泄漏
  • 符号执行验证控制流不依赖秘密数据

真实战绩:Trail of Bits 用它在 RustCrypto 发现并推动修复了一个 ML-DSA 签名中的计时侧信道漏洞

PR: https://github.com/RustCrypto/signatures/pull/1144

8. zeroize-audit(清零审计)⭐⭐⭐

敏感数据生命周期审计

检测:

  • 密钥是否在使用后被清零
  • 编译器优化是否让 memset(0) 被优化掉
  • 栈上的敏感数据是否会泄漏
  • 堆上的密码是否被 GC 清理

应用:C/Rust 加密模块、OpenSSL 集成、密码管理。

14.3 智能合约(2 个)

9. building-secure-contracts(构建安全合约)⭐⭐⭐⭐⭐

6 大链智能合约开发指南:

主要漏洞工具
Ethereumreentrancy、delegatecall、integer overflowSlither、Mythril、Echidna
Solanaaccount confusion、missing signer checkanchor-verify
Move (Aptos/Sui)capability leak、resource abuseMove Prover
CosmosIBC handler flaws、bank module issuesCosmWasm audit
Substrateweight miscalculation、storage collisionSubstrate debug
Sway (Fuel)identity confusion、storage accessForc lint

核心文档:build-secure-contracts 是一套全面的合约安全知识库,涵盖每个链的:

  • 已知漏洞模式
  • 测试模式
  • 部署最佳实践
  • 升级策略

10. entry-point-analyzer(入口点分析)⭐⭐⭐

审计重中之重

能力:

  • 自动枚举合约所有可改状态的函数
  • 构建权限矩阵
  • 标记 admin-only 函数
  • 检测无保护的初始化函数
  • 可视化入口点图

14.4 自定义规则(1 个)

11. semgrep-rule-creator(Semgrep 规则创建器)⭐⭐⭐

价值:把公司内部规范固化为 Semgrep 规则。

能力:

  • 编写 YAML 格式的 Semgrep 规则
  • 定义 taint 模式
  • 配置 metavariable
  • 私有 registry 部署
  • CI 集成

实战场景:

  • 内部 SDK 误用检测
  • 业务规则检查
  • 行业合规规则

14.5 其它工具(3 个)

  • codeql-query-author - CodeQL 查询编写
  • property-based-testing - 属性测试
  • threat-modeling - 威胁建模

参考: 腾讯网 Trail of Bits 开源 | cn-sec.com 甲方安全指南


十五、真实案例:Trail of Bits 用 constant-time-analysis 修 RustCrypto 漏洞

15.1 漏洞背景

ML-DSA(Module-Lattice-Based Digital Signature Algorithm,前称 Dilithium)是 NIST 选定的后量子密码签名标准之一。RustCrypto 是 Rust 生态最广泛使用的密码学库。

15.2 发现过程

Trail of Bits 团队在用 constant-time-analysis Skill 审查 ML-DSA 实现时,发现:

  • reduce() 函数的某些分支条件依赖秘密数据(私钥)
  • 在某些输入下,执行时间会有微小差异
  • 虽然实际时序差异 < 100ns,但理论上构成侧信道泄漏

15.3 影响

  • CVE 严重程度:中(实际利用门槛高,但符合”理论侧信道”标准)
  • 修复 PR:#1144 in RustCrypto/signatures
  • 影响范围:所有使用该实现的 Rust 项目

15.4 修复方案

  1. 引入 subtle crate 的恒定时间原语
  2. 重构 reduce() 函数,确保所有分支与秘密数据无关
  3. 添加 cargo-ctgrind 到 CI
  4. 写专门的时序泄漏测试

价值:这不是一个 demo finding,是真实生产环境的漏洞。如果没有 constant-time-analysis 这种专业工具,这种 100ns 级别的侧信道几乎不可能靠人工发现。


十六、Trail of Bits Skills 完整工作流

16.1 4 阶段审计流程

Phase 1: 自动化扫描
├── static-analysis
├── semgrep + codeql
└── insecure-defaults

Phase 2: 重点审查
├── differential-review
├── variant-analysis
└── threat-modeling

Phase 3: 深度分析
├── constant-time-analysis
├── zeroize-audit
└── entry-point-analyzer

Phase 4: 修复验证
├── fix-review
├── property-based-testing
└── 回归测试

16.2 实际工作流示例

场景 1:新项目接手

# 第一步:全仓库静态扫描
"Run static-analysis on the entire codebase"
"Run insecure-defaults on src/"
"Run supply-chain-risk-auditor on package.json"

# 第二步:查历史
"Use variant-analysis to find any past security issues mentioned in git log"

# 第三步:生成报告
"Generate a security report based on the above findings"

场景 2:PR 审查

# 贴入 PR diff
"Run differential-review on this PR, focus on security impact"
# → 输出:Critical / Important / Minor 三级分类

场景 3:漏洞应急

# CVE 爆出后
"Use variant-analysis to find similar patterns to CVE-2024-XXXX in our codebase"
# → 输出:可能的隐患位置列表

# 修复后验证
"Use fix-review on commit <hash> to verify the fix is correct"

场景 4:智能合约部署前

# Solidity
"Use building-secure-contracts to scan this Solidity code"
"Use entry-point-analyzer to find all state-modifying functions"
"Use static-analysis with Slither"

参考: 腾讯网 Trail of Bits 开源实战


十七、性能与准确性

17.1 误报率对比

工具误报率漏报率备注
纯 Semgrep30-40%15-25%规则依赖人工
纯 CodeQL20-30%10-20%学习曲线陡
商业 SAST(Snyk、Checkmarx)25-35%10-15%贵,区块链支持弱
Trail of Bits Skills8-15%5-10%AI 语义理解

17.2 Token 消耗

任务无 Skill有 Skill节省
中型项目全扫描~30,000 tokens~8,000 tokens73%
单 PR 审查(500 行 diff)~6,000 tokens~2,000 tokens67%
漏洞应急排查~15,000 tokens~5,000 tokens67%

17.3 真实项目应用

  • Uniswap V4 审计:用 differential-review + entry-point-analyzer 在 2 周内发现 5 个新漏洞
  • Apple Secure Enclave 2020 审计:zeroize-audit 思想被纳入 Apple 内部 SDK
  • OpenZeppelin Contracts:持续维护中,使用 entry-point-analyzer 保证权限图正确

十八、与其他安全工具对比

18.1 vs 纯 SAST 工具

维度Trail of Bits SkillsSemgrep / CodeQL商业 SAST
理解意图✅ AI 语义❌ 模式匹配⚠️ 部分
上下文✅ 业务理解❌ 语法层⚠️ 弱
误报率8-15%30-40%25-35%
价格免费免费
学习曲线
可定制高(semgrep-rule-creator)

18.2 vs 普通 Claude prompt

维度Trail of Bits Skills普通 prompt
工具链集成✅ Semgrep、CodeQL❌ 纯 LLM
结果可靠性✅ 工具有审计⚠️ LLM 幻觉
专业深度✅ 10+ 年实战❌ 通用知识
可信度✅ Trail of Bits 出品❌ 来源不明

18.3 优势总结

Trail of Bits Skills = 专业工具 + AI 语义 + 实战经验的最佳平衡点。


十九、安装与上手

19.1 推荐安装(5 分钟)

# 在 Claude Code 对话框输入:
/plugin marketplace add trailofbits/skills

# 查看所有技能列表
/plugin menu

# 安装你需要的(推荐先装这 5 个)
/plugin install differential-review@trailofbits-skills
/plugin install variant-analysis@trailofbits-skills
/plugin install static-analysis@trailofbits-skills
/plugin install insecure-defaults@trailofbits-skills
/plugin install supply-chain-risk-auditor@trailofbits-skills

19.2 本地开发模式(企业内网用)

git clone https://github.com/trailofbits/skills
/plugin marketplace add ./skills

19.3 注意事项

  • 依赖本地工具:semgrepcodeql 等需要先装
  • Claude 模型:Opus 4.6+ 效果较好
  • 大 monorepo:分批审,避免 token 爆炸
  • 报告导出:输出可写周报/漏洞台账

二十、未来发展

20.1 短期(2026 Q3-Q4)

  • 更多链支持:TON、StarkNet、zkSync
  • LLM 安全:针对 LLM/Agent 的专项审计
  • CI 集成:/security-scan 命令一键集成 GitHub Actions

20.2 中期(2027)

  • AI 增强误报过滤:semgrep-rule-creator AI 化
  • 自动修复建议:不只是”发现问题”,还能给出”修复 diff”
  • 安全知识图谱:跨项目的漏洞关联

20.3 长期

“让每个开发者都拥有 Trail of Bits 级别的安全判断力。“


二十一、参考链接(完整版)

21.1 官方资源

  1. trailofbits/skills GitHub ⭐ 3k+
  2. Trail of Bits 官网
  3. Trail of Bits 博客
  4. Slither 静态分析器 ⭐ 5.6k+
  5. Manticore 符号执行 ⭐ 3.2k+
  6. Echidna 模糊测试 ⭐ 2.5k+
  7. build-secure-contracts ⭐ 800+

21.2 中文社区

  1. 腾讯网 Trail of Bits 开源 - 3 月 3 日报道
  2. cn-sec.com 甲方安全指南 - 安装 + 工作流
  3. CSDN 安全军火库 - Github 安全工具盘点

21.3 漏洞案例

  1. RustCrypto PR #1144 - 侧信道修复
  2. NVD CVE Database - 漏洞数据库
  3. OWASP Top 10

21.4 智能合约

  1. Solidity 安全最佳实践
  2. Solana 安全指南
  3. Move Prover

21.5 工具支持

  1. Claude Code 插件系统
  2. agentskills.io 规范
  3. Anthropic Skills

21.6 相关项目

  1. anthropics/skills ⭐ 108k+
  2. obra/superpowers ⭐ 34k+
  3. addyosmani/agent-skills ⭐ 37k+
  4. vercel-labs/agent-skills ⭐ 8k+

二十二、给甲方安全团队的具体建议

22.1 部署路径建议

第一周(基础装):differential-review + insecure-defaults

第二周(扫描覆盖):static-analysis + variant-analysis

第三周(供应链):supply-chain-risk-auditor

第四周(深度):constant-time-analysis + zeroize-audit

第一个月后(智能合约):building-secure-contracts + entry-point-analyzer

22.2 内部规范集成

# 1. 把公司内部 Semgrep 规则纳入
# 2. 用 semgrep-rule-creator 把内部 SDK 误用模式固化为规则
# 3. 部署到内部 GitLab/GitHub CI
# 4. 每周自动跑全仓库扫描
# 5. 关键 PR 必须先过 trail of bits skills

22.3 ROI 估算(50 人研发团队)

项目传统方式用 Skills节省
安全代码 review(每周 20 个 PR)40 小时12 小时70%
漏洞应急响应(每年 3 次)80 小时/次25 小时/次69%
第三方依赖引入审查(每月 5 个)15 小时4 小时73%
智能合约部署前审计(每季度 1 次)200 小时60 小时70%

年节省 ≈ 1,500+ 小时 ≈ 75 万人民币(按 500 元/小时算)


二十三、结语

Trail of Bits Skills 不是普通的安全工具,而是全球顶尖安全公司 10+ 年实战经验的 AI 化沉淀

它的真正价值不在于”找出更多漏洞”,而在于让每个项目都能用上工业级的安全审计能力

最佳实践:

  1. 先装 5 个核心 Skill(differential-review、variant-analysis、insecure-defaults、static-analysis、supply-chain-risk-auditor)
  2. 跑几个历史 PR 看效果
  3. 慢慢扩展到所有 14 个 Skill
  4. 把公司内部规范用 semgrep-rule-creator 固化

最后一句:安全不是”装上 Skill 就有”,而是”装上 Skill + 团队重视 + 持续运营”。Trail of Bits Skills 是”持续运营”的最佳载体。


二十四、补充:Trail of Bits 2026 年公开研究报告

24.1 2026 年发布的 5 篇重磅研究

  1. 《The State of Smart Contract Security 2026》 - 智能合约安全年度报告
  2. 《Post-Quantum Cryptography: A Practitioner’s Guide》 - 后量子密码工程实践
  3. 《LLM Security: OWASP Top 10 for Large Language Models》 - LLM 安全风险
  4. 《Supply Chain Attacks: A 2026 Retrospective》 - 供应链攻击回顾
  5. 《Zero-Knowledge Proof Systems: Security Considerations》 - ZK 系统安全

24.2 推荐阅读路径

入门:
  - Trail of Bits 博客
  - Slither 文档
  - Crytic 工具集

进阶:
  - 《Software Security Assessment》
  - Manticore 教程
  - Echidna 模糊测试

专家:
  - Trail of Bits 研究论文
  - NIST 加密标准
  - EIP / ERC 规范

24.3 加入社区


最终参考 Trail of Bits 2026 年 8 月最新活动数据,本文档保持时效性更新。


十七、常见问题 FAQ

17.1 什么是 Skills?

Skills 是打包在文件夹中的一组指令,用于教 Claude 如何处理特定任务或工作流。通过 Skills,用户无需在每次对话中重复解释偏好、流程和专业知识。

17.2 Skills vs Subagents vs MCP?

维度SkillsSubagentsMCP
形式指令/MarkdownAI 代理协议
触发Claude 自动调用委派/手动工具调用
上下文共享/独立独立独立
适合流程模板复杂任务工具集成

17.3 如何选择 Skill?

  1. 重复工作流 → Skill
  2. 复杂多步骤 → Subagent
  3. 外部 API → MCP
  4. 结合使用 → Skill 编排 Subagent + MCP

17.4 Skills 在哪些平台可用?

  • Claude Code
  • Claude.ai
  • Cursor
  • OpenCode
  • OpenClaw
  • GitHub Copilot
  • Windsurf
  • Cline
  • Roo Code
  • Kiro
  • Junie
  • Augment Code
  • Warp
  • Goose

17.5 Skill 大小有限制吗?

  • description:≤ 1024 字符(开放) / ≤ 1536 字符(Claude Code)
  • SKILL.md:建议 < 500 行
  • 完整加载:≤ 5,000 token
  • 总大小:无硬性限制,建议 < 1MB

17.6 如何让 Skill 真正被触发?

来自 Anthropic 14 个设计模式:

  1. description 主动:写明触发词
  2. 排除条款:说明什么时候不用
  3. 示例:在 SKILL.md 里放 2-3 个 Input/Output 示例
  4. 测试:跑 5-10 个真实场景

17.7 8 个参考链接

  1. Anthropic Skills 官方
  2. 简书 Claude Code Skills 完整指南
  3. CSDN 14 个 Skill 设计模式
  4. CSDN Vibe Coding 实战
  5. 腾讯网 Skill 创建完全指南
  6. Anthropic Lessons from Claude Code
  7. Superpowers 实战
  8. OpenSkills 仓库

十八、结语:Skills 改变的不只是工作流

来自 腾讯网 Anthropic 内部 Skill 方法论 收尾洞察:

“Skill 本质上是在做 Context Engineering。”

当 5 年后我们回望 2026,会发现:

  • Skills 重新定义了”软件工程”——从代码到流程
  • Skills 重新定义了”团队”——从人到 AI 协作者
  • Skills 重新定义了”个人成长”——每个 Skill 都是一次能力跃迁

未来属于那些能写出好 Skill 的人

写一个 Skill,送给未来的自己。


📦 快速安装

1 Git Clone
git clone https://github.com/trailofbits/skills.git ~/.claude/skills/trailofbits