trailofbits/skills

解决的问题

此项目为 AI 代理（特别是 Claude Code 和 Codex）提供了一个专业“技能”（插件）市场，以增强其执行复杂安全分析、软件测试和开发工作流程的能力。它弥合了通用大型语言模型与安全审计及逆向工程中高精度需求之间的差距。

运作方式

此存储库作为一个插件市场，可加载至 Claude Code、Codex 和 ChatGPT Workspaces 等 AI 代理中。这些插件为代理提供了特定的方法论、工具整合（如 Semgrep、CodeQL 和 SARIF），以及针对智能合约审计、恶意软件分析和形式化验证等任务的结构化工作流程。

目标受众

安全研究人员、智能合约审计师、软件工程师以及希望利用专业级安全与验证工具集来增强其 AI 代理的开发人员。

特色亮点

• 安全审计：针对 C/C++、Rust 和智能合约的专业插件，包含漏洞扫描器和入口点分析器。
• 验证与测试：用于变异测试、基于属性的测试以及检测加密代码中时序侧通道的工具。
• 验证：用于编写 Lean 4 证明并根据规范检查代码合规性的工具。
• 开发工作流程：用于自动化审查与修复工作流程、GitHub 分类以及现代 C++/Python 最佳实践的插件。
• 逆向工程：用于分析 DWARF 调试信息的专业功能。
• 多模态支持：与 Claude Code、Codex 和 ChatGPT Workspace 市场兼容。