Agent Skills
› trailofbits/skills
trailofbits/skills
GitHub在审计、威胁建模或架构审查前，分析不熟悉代码库的函数假设、保证及依赖关系。通过子代理生成上下文档案，识别未执行的假设和开放问题，为后续漏洞挖掘提供基础理解。
Install All Skills
npx skills add trailofbits/skills --all -g -y
Skills in Collection (86)
Showing top 50 of 86 by quality score. Use the install list command or open individual skills for the rest.
在审计、威胁建模或架构审查前，分析不熟悉代码库的函数假设、保证及依赖关系。通过子代理生成上下文档案，识别未执行的假设和开放问题，为后续漏洞挖掘提供基础理解。
开始代码审计
进行威胁建模
执行架构审查
分析不熟悉的代码库
npx skills add trailofbits/skills --skill audit-context-building -g -y
用于扫描 Algorand 智能合约（TEAL/PyTeal）的11种常见安全漏洞，如重定向攻击和访问控制问题。适用于代码审计、预审计评估及修复验证，支持自动化工具集成与详细报告生成。
审计 Algorand 智能合约
审查 TEAL 或 PyTeal 代码
项目预审计安全评估
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -g -y
用于扫描Cairo/StarkNet智能合约的安全漏洞，检测算术溢出、跨层消息传递及签名重放等6类关键风险，适用于审计和发布前安全评估。
审计StarkNet智能合约
审查L1-L2桥接实现
发布前安全评估
npx skills add trailofbits/skills --skill cairo-vulnerability-scanner -g -y
Cosmos SDK模块与CosmWasm合约漏洞扫描工具，检测共识级风险。适用于审计自定义模块、审查IBC集成及发布前安全评估。
审计Cosmos SDK模块
审查CosmWasm智能合约
区块链上线前安全评估
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -g -y
用于审计 Solana 原生及 Anchor 程序，系统性扫描任意 CPI、PDA 验证错误、缺失签名/所有权检查等 6 类关键安全漏洞，提供修复建议。
审计 Solana 程序代码
审查跨程序调用逻辑
预发布安全评估
npx skills add trailofbits/skills --skill solana-vulnerability-scanner -g -y
用于扫描Substrate/Polkadot pallets的7类关键安全漏洞，包括算术溢出、恐慌DoS及权重错误等。适用于审计自定义pallet、审查FRAME运行时代码及链上线前安全评估。
审计Substrate自定义pallet
审查FRAME运行时代码
Polkadot parachains上线前安全评估
npx skills add trailofbits/skills --skill substrate-vulnerability-scanner -g -y
专门用于扫描 TON 区块链 FunC 智能合约的安全审计技能，重点检测整数误用为布尔值、伪造 Jetton 合约及转发 TON 缺乏 Gas 检查等三种关键漏洞。
TON 智能合约安全审计
FunC 代码审查
Jetton 代币实现审核
npx skills add trailofbits/skills --skill ton-vulnerability-scanner -g -y
用于从Burp Suite项目文件中搜索、提取安全审计发现及HTTP流量数据，支持正则匹配响应头/体、代理历史等。
搜索Burp项目中的HTTP流量
提取安全审计发现
分析代理历史记录
npx skills add trailofbits/skills --skill burpsuite-project-parser -g -y
用于对原生 C/C++ 用户态代码进行安全审计，检测内存损坏、整数溢出、竞态条件等漏洞。支持 Linux/macOS 守护进程及 Windows 服务审查，排除内核驱动和托管语言。
C/C++ 代码安全审查
内存安全漏洞检测
整数溢出审计
竞态条件分析
npx skills add trailofbits/skills --skill c-review -g -y
诊断并修复 Claude in Chrome MCP 扩展连接问题，解决 macOS 下 Claude Code CLI 与 Claude.app Cowork 原生主机冲突导致的连接失败或异常。
MCP 工具返回浏览器扩展未连接错误
自动化操作不稳定或超时
切换 Claude Code CLI 和 Claude.app 后连接失败
npx skills add trailofbits/skills --skill chrome-mcp-troubleshooting -g -y
诊断并修复 Claude in Chrome MCP 扩展的连接问题，解决因 Claude.app 与 Claude Code CLI 原生主机冲突导致的连接失败或行为异常。
MCP工具报错'Browser extension is not connected'
浏览器自动化执行不稳定或超时
切换Claude Code与Claude.app后连接失效
npx skills add trailofbits/skills --skill chrome-mcp-troubleshooting -g -y
静态分析加密代码中的定时侧信道漏洞，检测除法、秘密依赖分支等非常规时间操作，辅助代码实现与审查。
审查签名或加密例程
涉及密钥的除法或取模运算
询问常量时间编程问题
npx skills add trailofbits/skills --skill constant-time-analysis -g -y
用于为项目创建预配置的 Devcontainer，集成 Claude Code 及 Python/Node/Rust/Go 等语言工具链。支持自动探测语言栈、生成配置文件并写入 .devcontainer 目录，构建隔离的开发环境。
用户请求设置 devcontainer
用户希望添加 devcontainer 支持
用户需要沙盒化的开发环境
npx skills add trailofbits/skills --skill devcontainer-setup -g -y
针对PR、提交或代码差异执行安全导向的差异审查，自适应分析深度，计算爆炸半径并检查测试覆盖率，生成包含漏洞发现和回归风险的Markdown报告。
审查PR以发现安全漏洞
检查变更是否引入已知Bug
评估代码变更的潜在影响范围
查找未覆盖修改部分的测试
npx skills add trailofbits/skills --skill differential-review -g -y
对含数值计算的代码库进行维度分析，检测单位、缩放及精度不匹配错误，并自动添加维度注释。适用于DeFi、金融或科学计算场景的审计与代码审查。
审计代码中的单位混淆或缩放错误
为代码库添加维度/单位注释
检查DeFi协议或算术密集型的公式错误
npx skills add trailofbits/skills --skill dimensional-analysis -g -y
专注于DWARF调试信息的解析、搜索、完整性验证及标准问答，辅助编写解析代码。适用于检查编译二进制文件中的.debug_*节、DIE树结构或属性，使用dwarfdump/llvm-dwarfdump/readelf等工具进行分析和校验。
分析编译二进制文件中的DWARF调试信息
验证DWARF调试数据的完整性
查询DWARF标准规范细节
编写解析DWARF数据的代码
npx skills add trailofbits/skills --skill dwarf-expert -g -y
用于扫描Android APK以检测Firebase安全配置错误（如开放数据库、存储桶、认证问题）的技能。适用于移动应用安全审计、授权渗透测试及Firebase后端风险评估，帮助发现未授权访问和数据泄露风险。
Android APK文件安全审计
Firebase后端配置漏洞测试
移动应用渗透测试
npx skills add trailofbits/skills --skill firebase-apk-scanner -g -y
用于系统验证疑似安全漏洞，区分真假阳性。当用户询问特定发现是否真实、可利用或为误报时使用。禁止用于漏洞挖掘或常规代码审查，需通过数据流追踪等步骤提供证据确凿的判定结果。
验证疑似漏洞是否为真阳性
确认特定发现是否为误报
检查漏洞是否可利用
npx skills add trailofbits/skills --skill fp-check -g -y
规范 GitHub CLI 使用，强制认证访问以处理仓库、PR 和 Issue，避免直接使用 curl 或 WebFetch。
需要访问 GitHub 私有仓库
需绕过 API 速率限制
即将对 GitHub URL 进行 HTTP 请求
npx skills add trailofbits/skills --skill gh-cli -g -y
安全分析并清理本地 Git 分支与工作树，按合并、替代或活跃状态分类，强制用户确认删除操作。
本地分支堆积过多
已合并但未清理的本地分支
远程删除但本地跟踪分支残留
npx skills add trailofbits/skills --skill git-cleanup -g -y
用于生成适用于 Claude Code 和 Codex 的 /goal 命令，指导 Agent 设定可终止的目标条件。涵盖状态定义、范围、检查命令、不变量和停止边界等要素，确保目标明确且可验证。
用户要求创建或编写 goal prompt
用户要求优化或压缩 goal 条件
用户需要为长期任务准备就绪的目标指令
npx skills add trailofbits/skills --skill goal-prompt -g -y
在提示模糊或用户随意委托时，通过塔罗牌抽卡生成随机决策以打破僵局。适用于非关键任务的创意探索、方案比选及缓解分析瘫痪，禁止用于安全或生产发布等精密场景。
用户说 'let fate decide'、'YOLO'、'idk' 等非正式短语
多个合理方案间需任意选择
用户表达随意委托态度
Yu-Gi-Oh 相关引用
npx skills add trailofbits/skills --skill let-fate-decide -g -y
提供C++20/23/26现代编程范式指南，指导新代码编写、遗留代码现代化及安全关键代码开发。通过替换原始指针为智能指针、SFINAE为概念等反模式，消除漏洞并减少样板代码，强调内存安全与类型安全。
编写新的C++函数或类
将旧版C++代码现代化
审查C++代码以采用现代惯用法
处理安全关键的C++逻辑
npx skills add trailofbits/skills --skill modern-cpp -g -y
提供基于uv、ruff、ty等现代工具链的Python项目配置指南，涵盖新建项目、脚本编写及从旧工具迁移的最佳实践与反模式。
创建新的Python项目或包
配置pyproject.toml
迁移自pip/Poetry/mypy/black等旧工具
编写带依赖的独立脚本
npx skills add trailofbits/skills --skill modern-python -g -y
用于配置 mewt/muton 变异测试活动、分析存活变异体及挖掘源码缺陷的 Skill。
用户提及 mewt, muton 或 mutation testing
需要配置、调整范围或加速变异测试活动
分析变异测试结果如存活/未捕获变异体
利用变异结果查找源码中的 Bug
npx skills add trailofbits/skills --skill mutation-testing -g -y
指导将私有仓库转为公开，涵盖秘密审计、许可证选择、文档完善及发布自动化准备，确保项目符合开源标准且无敏感信息泄露。
将仓库设为公开
为公共发布做准备
检查开源就绪状态
选择项目许可证
npx skills add trailofbits/skills --skill open-sourcing -g -y
用于在安全补丁提交前进行验证，通过复现基线与补丁差异、检查回归及新漏洞，确保修复有效且未引入新问题。适用于人工或AI生成的补丁验证。
收到安全补丁或PR后
需要验证AI生成补丁的正确性时
npx skills add trailofbits/skills --skill post-patch-validation -g -y
生成代码变更的交互式HTML审查向导，将diff拆分为逻辑步骤并提供解释和关键发现。
需要代码审查
查看分支差异
npx skills add trailofbits/skills --skill review-walkthrough -g -y
针对Rust代码库的安全审计技能，覆盖unsafe边界、内存安全、并发及FFI风险。通过多Agent协作执行扫描、去重与误报过滤，输出标准化报告。
需要审查Rust项目的安全性时
审计包含unsafe块或FFI调用的Rust代码时
npx skills add trailofbits/skills --skill rust-review -g -y
调用 Codex、Antigravity 等外部 CLI 对未提交更改或分支差异进行独立代码审查，生成发现报告而不自动修复。
请求外部代码审查
寻求代码第二意见
指定使用 codex 或 antigravity 审查
执行 /second-opinion 命令
npx skills add trailofbits/skills --skill second-opinion -g -y
用于创建生产级 Semgrep 规则，检测安全漏洞、Bug 及代码模式。强调测试优先、严格验证及防误报，支持数据流分析。
编写自定义 Semgrep 规则
检测安全漏洞
构建静态分析检测逻辑
npx skills add trailofbits/skills --skill semgrep-rule-creator -g -y
将现有的 Semgrep 安全扫描规则移植到指定的其他编程语言，生成独立的语言变体及测试目录。
需要将现有 Semgrep 规则适配到新语言
请求端口化或转换代码分析规则
npx skills add trailofbits/skills --skill semgrep-rule-variant-creator -g -y
识别易错API、危险配置和导致安全失误的设计缺陷，确保默认安全。适用于审查API设计、加密库易用性及评估‘默认安全’原则。
footgun
misuse-resistant
secure defaults
API usability
dangerous configuration
npx skills add trailofbits/skills --skill sharp-edges -g -y
通过自动化修复-审查循环迭代改进Claude Code技能质量，确保符合标准。适用于修复技能问题、优化描述及持续精炼。
fix my skill
improve skill quality
skill improvement loop
npx skills add trailofbits/skills --skill skill-improver -g -y
用于比对代码实现与文档规范的一致性，识别需求缺失、矛盾及未提及行为。适用于协议、设计文档等权威规范下的合规性审查。
需要验证代码是否符合白书或协议规范
审计设计文档与实际实现的差异
检查代码与README承诺的合规性
npx skills add trailofbits/skills --skill spec-to-code-compliance -g -y
解析和处理来自静态分析工具（如CodeQL、Semgrep）的SARIF文件。提供结果聚合、去重、过滤、严重性解析及格式转换功能，支持CI/CD集成，但不执行扫描或编写规则。
parse sarif
read scan results
aggregate findings
deduplicate alerts
process sarif output
npx skills add trailofbits/skills --skill sarif-parsing -g -y
审计项目依赖供应链风险，涵盖版本漏洞、上游废弃、发布者集中度及安装脚本执行。通过自动化脚本收集数据并生成报告，辅助评估第三方包风险。
审计依赖项
评估供应链或第三方包风险
在项目介入前审查依赖树
npx skills add trailofbits/skills --skill supply-chain-risk-auditor -g -y
AddressSanitizer (ASan) 技能用于在模糊测试或单元测试中检测 C/C++/Rust 代码的内存错误（如缓冲区溢出、Use-After-Free）。涵盖编译配置、选项设置、崩溃报告分析及资源调整。
模糊测试 C/C++ 或 Rust 代码以发现内存漏洞
调试由内存损坏引起的崩溃
分析 ASan 生成的堆栈跟踪报告
npx skills add trailofbits/skills --skill address-sanitizer -g -y
配置并运行AFL++进行C/C++项目多核模糊测试，涵盖安装、并行执行、持久模式及崩溃分析。
需要对成熟C/C++代码库进行大规模多核模糊测试
libFuzzer覆盖率遇到瓶颈需扩展
npx skills add trailofbits/skills --skill aflpp -g -y
基于libFuzzer的覆盖率引导Python模糊测试工具，支持纯Python代码及C扩展测试，集成AddressSanitizer检测内存错误。
需要对Python包进行模糊测试
排查Python C扩展中的内存损坏问题
需要结合libFuzzer生态进行自动化安全测试
npx skills add trailofbits/skills --skill atheris -g -y
用于在基于 Cargo 的 Rust 项目中设置和运行 cargo-fuzz 模糊测试工具。涵盖初始化、Harness 编写、Sanitizer 配置及崩溃复现，适用于 Rust 代码的安全性与健壮性测试。
Rust 项目模糊测试
编写 fuzz_target Harness
使用 Sanitizer 检测内存错误
复现 fuzzing 崩溃
npx skills add trailofbits/skills --skill cargo-fuzz -g -y
用于模糊测试中的覆盖率分析，评估fuzzing效果、识别未覆盖代码及瓶颈，指导种子优化与harness改进。
fuzzer性能停滞
评估harness有效性
建立覆盖率基线
排查代码未执行原因
npx skills add trailofbits/skills --skill coverage-analysis -g -y
构建并应用 Fuzzing 字典，提取关键字、魔术字节和令牌以指导模糊测试器生成特定输入。适用于解析器、协议或文件格式的模糊测试，解决覆盖停滞或固定字符串校验问题。
模糊测试解析器、协议或文件格式时
覆盖率在输入验证阶段停滞不前
目标代码包含固定字符串比较
npx skills add trailofbits/skills --skill fuzzing-dictionary -g -y
指导如何绕过校验和、全局状态等反模糊测试模式，通过条件编译补丁SUT以恢复覆盖率。适用于模糊测试停滞或遇到验证障碍场景。
模糊测试卡在校验和或哈希验证
覆盖率显示大量代码不可达
存在非确定性全局状态阻碍测试
npx skills add trailofbits/skills --skill fuzzing-obstacles -g -y
指导编写C/C++/Rust的模糊测试桩，涵盖输入映射、结构化生成及避免非确定性崩溃，用于提升覆盖率与复现性。
创建新的模糊测试入口函数
模糊测试覆盖率低或无法发现漏洞
发现的崩溃无法复现
目标API需要结构化输入
npx skills add trailofbits/skills --skill harness-writing -g -y
基于Rust的模块化模糊测试库，用于构建自定义fuzzer、实现高级反馈机制及支持非标准架构。适用于libFuzzer/AFL++无法满足控制需求的场景，如定制变异策略、模糊测试研究或复杂目标测试。
需要构建自定义模糊测试工具
标准工具无法覆盖的目标架构或特性
实施新型模糊测试算法或研究
需要对模糊测试组件进行细粒度控制
npx skills add trailofbits/skills --skill libafl -g -y
提供 libFuzzer 在 C/C++ 项目中的配置、安装及用法指南，涵盖 Harness 编写、编译参数设置、语料库管理以及与 AFL++ 的对比选择，辅助安全测试与漏洞挖掘。
需要为 C/C++ 代码设置模糊测试环境
编写或调试 LLVMFuzzerTestOneInput 入口函数
比较不同模糊测试工具（如 libFuzzer 与 AFL++）
解决 libFuzzer 运行无发现的问题
npx skills add trailofbits/skills --skill libfuzzer -g -y
用于为开源项目配置 OSS-Fuzz 持续模糊测试，涵盖项目注册、本地构建与运行 Fuzzer、复现崩溃报告及生成覆盖率报告。
设置开源项目的持续模糊测试
在本地复现 OSS-Fuzz 崩溃报告
提交前测试 OSS-Fuzz 构建
npx skills add trailofbits/skills --skill ossfuzz -g -y
Ruzzy是Ruby语言的覆盖率引导模糊测试工具，支持纯Ruby代码及C扩展的内存安全与未定义行为检测。适用于Ruby库、Gem或原生扩展的自动化模糊测试场景。
对Ruby库或Gem进行模糊测试
测试Ruby C扩展的内存安全性
需要Ruby代码的覆盖率引导模糊测试
npx skills add trailofbits/skills --skill ruzzy -g -y
从 Trail of Bits 测试手册生成和维护 Claude Code 技能文件。用于基于手册内容创建、刷新或批量生成安全测试技能，而非直接回答安全问题。
用户要求根据测试手册生成新技能
提及 testing handbook 或 appsec.guide
需要批量生成或刷新技能
npx skills add trailofbits/skills --skill testing-handbook-generator -g -y
