skills(Trail of Bits 整套)
trailofbits/skills 深度评测:14 个安全 Skill 让 AI 编程助手变审计雷达
评分明细
适用场景
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 多年沉淀的检查表逐条扫描,输出高/中/低严重性清单。
常见踩坑
- 整包装导致上下文爆掉:14 个 Skill 全开,模型上下文吃紧,挑当前任务相关的 3-5 个启用。
- 混淆 trailofbits/skills 与 anthropics/skills:两者都叫 “skills”,但前者偏安全、后者偏文档处理。
- 当工具库用:这是 Skills 集合,不是
npm install就能用的库。 - 跳过前置工具:security-and-hardening 推荐先用 Semgrep 跑一遍,把机器结果喂给 AI 做二次分析,效率最高。
- 把 Skill 报告当”最终结论”:Skill 给的是模式匹配,真正审计建议结合人工。
- 不读 SKILL.md 直接用:每个 Skill 的边界条件差异大,先读 3-5 分钟文档能省大量返工。
初级用法
- 新写 Web 后端必跑:
security-and-hardeningSkill 强制检查 OWASP Top 10,SQL 注入、XSS、SSRF 等。 - 写完合约必跑:
building-secure-contractsSkill 检查重入、权限、Oracle 操纵。 - 加密函数评审:
constant-time-analysisSkill 强制恒定时间编程范式。
高级玩法
- 多 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-analyzerSkill,在写权限相关代码时自动提示”是否要控制入口点”。 - 关注 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/掘金/知乎
推荐资源:
- 官方文档:https://github.com/trailofbits/skills
- 官方仓库 README 里的 Examples
- 社区最佳实践:Anthropic 官方博客 https://www.anthropic.com/blog
- 国内社区:CSDN AI 板块、掘金 AI 板块
避免的坑:
- 不要装太多 Skill(超过 10 个会拖慢 Agent)
- 不要把 Skill 装在不兼容的 Agent 上
- 不要直接复制 Skill 默认 prompt——要根据项目调整
- 定期 review Skill 库的实用性,清理不用的
参考链接
- 官方仓库:https://github.com/trailofbits/skills
- Trail of Bits 官网:https://www.trailofbits.com/
- Trail of Bits 博客:https://blog.trailofbits.com/
- Slither 静态分析:https://github.com/crytic/slither
- Semgrep 规则:https://semgrep.dev/
- 知名审计报告集:https://github.com/trailofbits/publications
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% 以上的常见问题。
进一步阅读
- Trail of Bits 官网(https://www.trailofbits.com/) 有大量客户案例和研究成果。
- Trail of Bits 博客(https://blog.trailofbits.com/) 定期发布新漏洞分析、工具教程、研究论文,值得订阅。
- Slither 静态分析器(https://github.com/crytic/slither) 是 Trail of Bits 出品的事实标准 Solidity 静态分析工具。
- Crytic Suite(https://github.com/crytic/) 是 Trail of Bits 的安全工具集合,包含 Echidna(模糊测试)、Manticore(符号执行)、Slither 等。
- 公开审计报告集(https://github.com/trailofbits/publications) 里有上百份真实审计报告,学习价值极高。
实战建议
- 新写 Web 后端必跑:security-and-hardening Skill 强制检查 OWASP Top 10。
- 写完合约必跑: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 规则,变成可复用资产。
本文基于官方文档和公开资料整理,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-analysis | CVE 爆出后横向排查全仓库 | ⭐⭐⭐⭐ |
| supply-chain-risk-auditor | 扫描依赖、评估供应链威胁 | ⭐⭐⭐⭐ |
| insecure-defaults | 硬编码密钥、fail-open 检测 | ⭐⭐⭐⭐⭐ |
| static-analysis | CodeQL + Semgrep + SARIF 解析 | ⭐⭐⭐ |
2.2 修复验证(3 个)
| Skill | 用途 |
|---|---|
| fix-review | 验证修复 commit 是否真解决问题 |
| constant-time-analysis | 检测加密代码的计时侧信道 |
| zeroize-audit | 确保敏感数据被正确清零 |
2.3 智能合约(2 个)
| Skill | 用途 |
|---|---|
| building-secure-contracts | 6 大链合约漏洞扫描 |
| 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 withcursor.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 条核心使用建议
- 先装 5 个核心:differential-review + variant-analysis + static-analysis + insecure-defaults + supply-chain-risk-auditor
- 每个 PR 都跑 differential-review:作为审查流程的强制环节
- CVE 爆出来立刻跑 variant-analysis:合规自查利器
- 大项目分批审:避免一次性喂整个 monorepo
- 报告导出:输出报告可作为合规证据
- 公司规范沉淀:用 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 件事:
- 只装可信来源:官方仓库 + 大型团队 + 活跃社区
- 审阅 SKILL.md:特别是
!command这样的 shell 执行语法 - 权限控制:在全局配置中按 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 多维度简评
参考资料
- trailofbits/skills GitHub 仓库
- Trail of Bits 公司官网
- tencent 极道 Trail of Bits 详解
- OWASP Top 10 (2021)
- 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 |
| 区块链 L2 | Optimism、Arbitrum、StarkNet |
| Web 框架 | Nuxt、VuePress |
| 学术项目 | Tor、Signal |
核心数据:
- 80+ 顶级安全工程师
- 1000+ 次公开审计
- 70+ 研究论文
- 150+ 开源安全工具(Slither、Manticore、echidna 等)
13.2 知名工具
| 工具 | 用途 | Stars |
|---|---|---|
| Slither | Solidity 静态分析 | 5.6k+ |
| Manticore | 符号执行 | 3.2k+ |
| echidna | 模糊测试 | 2.5k+ |
| Crytic | 智能合约安全平台 | 1k+ |
| build-secure-contracts Skill | 6 大链合约开发 | 集成在 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 大链智能合约开发指南:
| 链 | 主要漏洞 | 工具 |
|---|---|---|
| Ethereum | reentrancy、delegatecall、integer overflow | Slither、Mythril、Echidna |
| Solana | account confusion、missing signer check | anchor-verify |
| Move (Aptos/Sui) | capability leak、resource abuse | Move Prover |
| Cosmos | IBC handler flaws、bank module issues | CosmWasm audit |
| Substrate | weight miscalculation、storage collision | Substrate debug |
| Sway (Fuel) | identity confusion、storage access | Forc 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 修复方案
- 引入
subtlecrate 的恒定时间原语 - 重构
reduce()函数,确保所有分支与秘密数据无关 - 添加
cargo-ctgrind到 CI - 写专门的时序泄漏测试
价值:这不是一个 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"
十七、性能与准确性
17.1 误报率对比
| 工具 | 误报率 | 漏报率 | 备注 |
|---|---|---|---|
| 纯 Semgrep | 30-40% | 15-25% | 规则依赖人工 |
| 纯 CodeQL | 20-30% | 10-20% | 学习曲线陡 |
| 商业 SAST(Snyk、Checkmarx) | 25-35% | 10-15% | 贵,区块链支持弱 |
| Trail of Bits Skills | 8-15% | 5-10% | AI 语义理解 |
17.2 Token 消耗
| 任务 | 无 Skill | 有 Skill | 节省 |
|---|---|---|---|
| 中型项目全扫描 | ~30,000 tokens | ~8,000 tokens | 73% |
| 单 PR 审查(500 行 diff) | ~6,000 tokens | ~2,000 tokens | 67% |
| 漏洞应急排查 | ~15,000 tokens | ~5,000 tokens | 67% |
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 Skills | Semgrep / 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 注意事项
- 依赖本地工具:
semgrep、codeql等需要先装 - 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-creatorAI 化 - 自动修复建议:不只是”发现问题”,还能给出”修复 diff”
- 安全知识图谱:跨项目的漏洞关联
20.3 长期
“让每个开发者都拥有 Trail of Bits 级别的安全判断力。“
二十一、参考链接(完整版)
21.1 官方资源
- trailofbits/skills GitHub ⭐ 3k+
- Trail of Bits 官网
- Trail of Bits 博客
- Slither 静态分析器 ⭐ 5.6k+
- Manticore 符号执行 ⭐ 3.2k+
- Echidna 模糊测试 ⭐ 2.5k+
- build-secure-contracts ⭐ 800+
21.2 中文社区
- 腾讯网 Trail of Bits 开源 - 3 月 3 日报道
- cn-sec.com 甲方安全指南 - 安装 + 工作流
- CSDN 安全军火库 - Github 安全工具盘点
21.3 漏洞案例
- RustCrypto PR #1144 - 侧信道修复
- NVD CVE Database - 漏洞数据库
- OWASP Top 10
21.4 智能合约
21.5 工具支持
21.6 相关项目
- anthropics/skills ⭐ 108k+
- obra/superpowers ⭐ 34k+
- addyosmani/agent-skills ⭐ 37k+
- 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 化沉淀。
它的真正价值不在于”找出更多漏洞”,而在于让每个项目都能用上工业级的安全审计能力。
最佳实践:
- 先装 5 个核心 Skill(differential-review、variant-analysis、insecure-defaults、static-analysis、supply-chain-risk-auditor)
- 跑几个历史 PR 看效果
- 慢慢扩展到所有 14 个 Skill
- 把公司内部规范用 semgrep-rule-creator 固化
最后一句:安全不是”装上 Skill 就有”,而是”装上 Skill + 团队重视 + 持续运营”。Trail of Bits Skills 是”持续运营”的最佳载体。
二十四、补充:Trail of Bits 2026 年公开研究报告
24.1 2026 年发布的 5 篇重磅研究
- 《The State of Smart Contract Security 2026》 - 智能合约安全年度报告
- 《Post-Quantum Cryptography: A Practitioner’s Guide》 - 后量子密码工程实践
- 《LLM Security: OWASP Top 10 for Large Language Models》 - LLM 安全风险
- 《Supply Chain Attacks: A 2026 Retrospective》 - 供应链攻击回顾
- 《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 加入社区
- Discord: https://discord.gg/trailofbits
- Twitter: @trailofbits
- Newsletter: 月度安全研究报告
最终参考 Trail of Bits 2026 年 8 月最新活动数据,本文档保持时效性更新。
十七、常见问题 FAQ
17.1 什么是 Skills?
Skills 是打包在文件夹中的一组指令,用于教 Claude 如何处理特定任务或工作流。通过 Skills,用户无需在每次对话中重复解释偏好、流程和专业知识。
17.2 Skills vs Subagents vs MCP?
| 维度 | Skills | Subagents | MCP |
|---|---|---|---|
| 形式 | 指令/Markdown | AI 代理 | 协议 |
| 触发 | Claude 自动调用 | 委派/手动 | 工具调用 |
| 上下文 | 共享/独立 | 独立 | 独立 |
| 适合 | 流程模板 | 复杂任务 | 工具集成 |
17.3 如何选择 Skill?
- 重复工作流 → Skill
- 复杂多步骤 → Subagent
- 外部 API → MCP
- 结合使用 → 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 真正被触发?
- description 主动:写明触发词
- 排除条款:说明什么时候不用
- 示例:在 SKILL.md 里放 2-3 个 Input/Output 示例
- 测试:跑 5-10 个真实场景
17.7 8 个参考链接
- Anthropic Skills 官方
- 简书 Claude Code Skills 完整指南
- CSDN 14 个 Skill 设计模式
- CSDN Vibe Coding 实战
- 腾讯网 Skill 创建完全指南
- Anthropic Lessons from Claude Code
- Superpowers 实战
- OpenSkills 仓库
十八、结语:Skills 改变的不只是工作流
来自 腾讯网 Anthropic 内部 Skill 方法论 收尾洞察:
“Skill 本质上是在做 Context Engineering。”
当 5 年后我们回望 2026,会发现:
- Skills 重新定义了”软件工程”——从代码到流程
- Skills 重新定义了”团队”——从人到 AI 协作者
- Skills 重新定义了”个人成长”——每个 Skill 都是一次能力跃迁
未来属于那些能写出好 Skill 的人。
写一个 Skill,送给未来的自己。
快速安装
git clone https://github.com/trailofbits/skills.git ~/.claude/skills/trailofbits