智能体工具

SCV Scan

智能体技能

安全性 · Solidity · 静态分析

Claude Code 技能，使用 36 种独特的漏洞类型扫描 Solidity 代码库以查找安全漏洞。四阶段审计：加载备忘单、语法和语义代码库扫描、使用参考文件进行深度验证以及报告。参考资料来自 smart-contract-vulnerabilities。

相关资源

Pashov Audit Group Skills

用于 Solidity 安全和开发的 Claude Code 技能。solidity-auditor 在你开发时提供对 Solidity 更改的快速（通常在 5 分钟内）安全反馈。可与 Claude Code CLI、VSCode Claude 扩展和 Cursor 配合使用。

Trail of Bits Skills Marketplace

Trail of Bits 提供的 Claude Code 插件市场，提供增强 AI 辅助安全分析、测试和开发工作流程的技能。

OpenZeppelin Skills

使用欧本齐柏林 Contracts 库进行安全智能合约开发的代理技能，包括 Solidity 和其他生态系统的设置和升级工作流。

Cyfrin solskill

带有用于生产级代码的 Solidity 开发标准的 Claude 插件。在测试、代码质量和智能合约敏感性方面更加彻底。可通过 Cyfrin 市场安装。由 Patrick Collins 和 Cyfrin 团队开发。

QuillShield Security Skills

用于智能合约安全审计的 AI 代理技能。十个插件涵盖重入、预言机/闪电贷、代理/升级、状态不变量、语义守卫等。QuillShield 方法用于发现传统静态分析遗漏的漏洞。可与 Claude 和 Cursor 配合使用。

sc-auditor

用于 Claude Code 和 Codex CLI 的智能合约安全审计器。集成了斯莱瑟、Aderyn、Cyfrin 检查表和 Solodit 发现。采用 Map-Hunt-Attack 方法，包含四个用于静态分析和发现搜索的 MCP 工具。