Trail of Bits Claude Code 技能，用于安全研究、漏洞检测和审计工作流程
用于 AI 辅助安全分析、测试和开发的 Trail of Bits 技能与插件。在 Claude Code 或 Codex 中安装此市场，或将其导入你的 ChatGPT 工作区市场。
另请参阅：claude-code-config · codex-config · skills-curated · trailmark · calcifier · coop
/plugin marketplace add trailofbits/skills
/plugin menu
Codex 直接支持 Claude 插件市场，因此本仓库无需 Codex 专用的 sidecar 元数据。
使用以下命令安装该市场：
codex plugin marketplace add trailofbits/skills
codex plugin list
codex plugin add <plugin-name>@trailofbits
使用此仓库的 .claude-plugin/marketplace.json 进行工作区导入。
包含 agents/openai.yaml 的技能还需要在该 YAML 文件中提供 interface.display_name 和
interface.short_description；插件元数据不会提供这些内容。
在元数据修复发布后，请在你的工作区市场中再次同步该仓库，
以重试失败的导入。
要在本地添加该市场（例如，用于测试或开发），请导航到本仓库的父目录：
cd /path/to/parent # e.g., if repo is at ~/projects/skills, be in ~/projects
/plugins marketplace add ./skills
| 插件 | 描述 |
|---|---|
| building-secure-contracts | 智能合约安全工具包，包含针对 6 个区块链的漏洞扫描器和 5 个开发指南助手 |
| entry-point-analyzer | 识别智能合约中会改变状态的入口点，用于安全审计 |
| 插件 | 描述 |
|---|---|
| agentic-actions-auditor | 审计 GitHub Actions 工作流中的 AI 代理安全漏洞 |
| audit-context-building | 在查找代码库中的缺陷之前先理解代码库，一次分析一个函数 |
| burpsuite-project-parser | 搜索并提取 Burp Suite 项目文件中的数据 |
| c-review | 全面的 C/C++ 安全代码审查，覆盖范围经源码解析验证 |
| cvss-scoring | 生成 CVSS v4.0 向量，附带指标依据和计算器链接 |
| differential-review | 以安全为重点的代码变更差异审查，结合 git 历史分析 |
| dimensional-analysis | 为代码库添加量纲分析注释，以检测单位不匹配和公式缺陷 |
| fp-check | 针对安全缺陷分析的系统化误报验证，包含强制门禁审查 |
| insecure-defaults | 针对 fail-open 不安全默认值的并行审计工作流，每个候选文件配备反驳验证器 |
| rust-review | 全面的 Rust 安全审查，涵盖 safe/unsafe 边界、内存安全、并发、panic-DoS、FFI 和异步运行时，并输出 SARIF |
| semgrep-rule-creator | 创建并完善用于自定义漏洞检测的 Semgrep 规则 |
| semgrep-rule-variant-creator | 将现有 Semgrep 规则移植到新的目标语言，并通过测试驱动验证 |
| sharp-edges | 识别易出错的 API、危险配置和易误用设计 |
| static-analysis | 静态分析工具包，支持 CodeQL、Semgrep 和 SARIF 解析 |
| supply-chain-risk-auditor | 审计 npm、PyPI 和 Go 依赖，检查版本匹配的安全公告、已废弃的上游项目、发布者集中度和安装脚本 |
| testing-handbook-skills | 来自 Testing Handbook 的技能：模糊测试器、静态分析、sanitizer、覆盖率 |
| trailmark | 代码图分析、原生污点分析器建模、有界子代理上下文切片、Mermaid 图表、变异测试分诊和协议验证 |
| variant-analysis | 使用基于模式的分析在代码库中查找相似漏洞 |
| vulnerability-triage-brocards | 使用 7 张 brocard 对漏洞报告进行分诊，在深入分析前决定接受、驳回或请求更多信息 |
| 插件 | 描述 |
|---|---|
| yara-authoring | YARA 检测规则编写，包含 lint 检查、原子分析和最佳实践 |
| 插件 | 描述 |
|---|---|
| constant-time-analysis | 检测密码学代码中由编译器引入的时序侧信道 |
| mutation-testing | 配置变异测试、分析存活的变异体，并调查测试薄弱代码中的缺陷 |
| patching-bugs | 复现并验证一个已知缺陷，提交范围受限的补丁，并生成可供审查的证明与回归报告 |
| post-patch-validation | 帮助补丁作者发现遗漏的变体和回归，提供可复现的失败和明确的验证缺口 |
| property-based-testing | 编写、审查和分诊基于属性的测试——Hypothesis、fast-check、proptest，以及用于 Solidity 不变量的 Echidna 或 Medusa |
| regression-hunt | 使用发现、复现和重放证据，在 PR 和提交中查找并验证回归 |
| spec-to-code-compliance | 对照规定代码的文档检查代码，覆盖合约、C/C++、服务和固件 |
| writing-lean-proofs | 遵循 Mathlib 约定编写结构化的 Lean 4 证明并设计 Lean 库 |
| zeroize-audit | 检测 C/C++ 和 Rust 中缺失或被编译器消除的机密清零操作 |
| 插件 | 描述 |
|---|---|
| dwarf-expert | 分析 DWARF 调试信息：解析和搜索 DIE、验证完整性、编写 DWARF 解析代码 |
| 插件 | 描述 |
|---|---|
| firebase-apk-scanner | 扫描 Android APK 中的 Firebase 安全配置错误 |
| 插件 | 描述 |
|---|---|
| code-improver | 针对技能、插件或分支的自主审查与修复工作流，具备可插拔审查器、发现台账、升级机制和范围防护 |
| devcontainer-setup | 创建预配置的 devcontainer，集成 Claude Code 和特定语言的工具链 |
| gh-cli | 拦截 GitHub URL 抓取——WebFetch、MCP 抓取工具以及 curl/wget——并重定向到已认证的 gh CLI |
| git-cleanup | 安全清理 git worktree 和本地分支：动态工作流收集合并证据并尝试反驳自身的删除建议，需经门控确认 |
| goal-prompt | 为 Claude Code 和 Codex 中的目标模式起草 /goal 命令——将可验证的完成条件格式化为可直接复制的一行 |
| github-triage | 分诊开放的 GitHub issue 和 PR：合并已就绪的机器人/已批准 PR，通过子代理审查未审查的 PR，引用评论关闭已解决的 issue，交叉链接待处理的修复，并用仅本地的优先级和变更规模估算对其余项评分 |
| let-fate-decide | 使用密码学随机性抽取塔罗牌，为模糊的规划增添熵 |
| modern-cpp | 现代 C++ 最佳实践（C++20/23/26），包含编译器加固和安全惯用法 |
| modern-python | 现代 Python 工具链与最佳实践，使用 uv、ruff 和 pytest |
| open-sourcing | 为公开发布准备仓库：机密卫生、许可、CI 就绪和发布自动化 |
| review-walkthrough | 生成分支变更的交互式演练，包含有序差异、解释和锚定的审查发现 |
| second-opinion | 从 Codex 或 Antigravity 获取对未提交变更、分支差异和提交的独立审查 |