trailofbits/skills

解決的問題

本專案提供一個為 AI 輔助安全分析、測試與開發而精心篩選的「技能」（外掛程式）市場。它彌補了通用型大語言模型（LLM）與專業安全工具之間的差距，為 AI 代理提供特定的工作流程與能力，用於程式碼審計、惡意程式分析以及軟體正確性驗證。

如何運作

此市場專為 Claude Code 與 Codex 設計，允許這些 AI 代理載入並執行專業外掛程式。這些外掛程式擴展了代理執行複雜任務的能力，例如靜態分析、智慧合約審計與漏洞優先排序。

適用對象

使用 AI 代理強化其安全工作流程的安全研究人員、軟體審計師與開發者，特別是專注於 C/C++、Rust、智慧合約與行動安全的使用者。

主要亮點

• 安全審計：包含 C/C++ 與 Rust 安全審查、差異審查與變體分析的工具。
• 智慧合約安全：針對六種區塊鏈的漏洞掃描專用工具包。
• 驗證與分析：支援常數時間分析以偵測時序側信道，以及屬性式測試支援。
• 開發工作流程：支援 GitHub 問題分類、程式碼改進以及現代 C++/Python 最佳實務的外掛程式。
• 惡意程式與逆向工程：支援 YARA 规則撰寫與 DWARF 調試資訊分析。