trailofbits/skills

解决的问题

该项目提供了一个为 AI 辅助安全分析、测试和开发而精心筛选的「技能」（插件）市场。它弥合了通用大语言模型（LLM）与专业安全工具之间的差距，为 AI 代理提供特定的工作流程和能力，用于代码审计、恶意软件分析以及软件正确性验证。

如何工作

该市场专为 Claude Code 和 Codex 设计，允许这些 AI 代理加载并执行专业插件。这些插件扩展了代理执行复杂任务的能力，例如静态分析、智能合约审计和漏洞优先级排序。

适用人群

使用 AI 代理增强其安全工作流的安全研究人员、软件审计师以及开发者，特别是专注于 C/C++、Rust、智能合约和移动安全的用户。

主要亮点

• 安全审计：包含 C/C++ 和 Rust 安全审查、差异审查和变体分析的工具。
• 智能合约安全：针对六种区块链的漏洞扫描专用工具包。
• 验证与分析：支持常量时间分析以检测时序侧信道，以及属性化测试支持。
• 开发工作流：支持 GitHub 问题分类、代码改进以及现代 C++/Python 最佳实践的插件。
• 恶意软件与逆向工程：支持 YARA 规则编写和 DWARF 调试信息分析。