Trail of Bits Claude Code 技能，用于安全研究、漏洞检测和审计工作流程
来自 Trail of Bits 的 Claude Code 插件市场，提供各种技能以增强 AI 辅助的安全分析、测试和开发工作流。Codex 可以通过其 Claude 市场兼容性加载此市场。
另请参阅：claude-code-config · codex-config · skills-curated · claude-code-devcontainer · dropkit · 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++ 安全代码审查，覆盖率通过源代码解析验证 |
| 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 检测规则编写，包含 linting、原子分析和最佳实践 |
| 插件 | 描述 |
|---|---|
| constant-time-analysis | 检测密码代码中由编译器引入的时序侧信道 |
| mutation-testing | 配置变异测试、分析存活的变异体，并调查弱测试代码中的缺陷 |
| post-patch-validation | 帮助补丁作者发现遗漏的变体和回归，提供可复现的失败和明确的验证缺口 |
| property-based-testing | 编写、审查和分诊基于属性的测试 — Hypothesis、fast-check、proptest，以及用于 Solidity 不变量的 Echidna 或 Medusa |
| spec-to-code-compliance | 根据指定代码的文档检查代码，涵盖合约、C/C++、服务和固件 |
| writing-lean-proofs | 编写结构化的 Lean 4 证明，并遵循 Mathlib 约定设计 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 fetch 工具和 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 | 生成分支变更的交互式演练，包含有序 diff、解释和锚定的审查发现 |
| second-opinion | 从 Codex 或 Antigravity 获取对未提交变更、分支 diff 和提交的独立审查 |
| 插件 | 描述 |
|---|---|
| culture-index | 为个人和团队解读 Culture Index 调查结果 |
| 插件 | 描述 |
|---|---|
| chrome-mcp-troubleshooting | 诊断和修复 Claude in Chrome MCP 扩展的连接问题 |