代理工具

Trail of Bits Skills Marketplace

代理技能

安全性 · 測試 · 代理技能

來自 Trail of Bits 的 Claude Code 外掛程式市場，提供增強 AI 輔助安全分析、測試和開發工作流程的技能。

相關資源

Pashov Audit Group Skills

用於 Solidity 安全性和開發的 Claude Code 技能。solidity-auditor 在您開發時提供對 Solidity 變更的快速（通常在 5 分鐘內）安全性回饋。可與 Claude Code CLI、VSCode Claude 擴充功能和 Cursor 搭配使用。

OpenZeppelin Skills

使用歐本齊柏林 (OpenZeppelin) Contracts 函式庫進行安全智能合約開發的代理技能，包括 Solidity 和其他生態系統的設定與升級工作流程。

Cyfrin solskill

這是一個 Claude 外掛程式，具備生產級程式碼的 Solidity 開發標準。在測試、程式碼品質和智能合約敏感度方面更加周密。可透過 Cyfrin 市場安裝。由 Patrick Collins 和 Cyfrin 團隊開發。

SCV Scan

Claude Code 技能，使用 36 種獨特的漏洞類型掃描 Solidity 程式碼庫以尋找安全漏洞。四階段稽核：載入備忘單、語法和語意程式碼庫掃描、使用參考檔案進行深度驗證，以及產生報告。參考資料來自 smart-contract-vulnerabilities。

QuillShield Security Skills

用於智能合約安全稽核的 AI 代理技能。十個外掛程式涵蓋重入、預言機/閃電貸、代理/升級、狀態不變數、語意防護等。QuillShield 方法論可解決傳統靜態分析遺漏的漏洞。可與 Claude 和 Cursor 搭配使用。

sc-auditor

適用於 Claude Code 和 Codex CLI 的智能合約安全稽核工具。整合了斯立瑟 (Slither)、Aderyn、Cyfrin 檢查清單和 Solodit 發現。採用 Map-Hunt-Attack 方法論，配備四個用於靜態分析和發現搜尋的 MCP 工具。