用途:在编写、复审或审计 Solidity 智能合约时作为安全思维框架与检查清单,也用于准备安全审计或漏洞赏金、排查外部合约交互的异常行为。
主要能力:以检查—生效—交互(CEI)、最小权限、纵深防御、默认安全、完整中介五项原则为推理基础;按顺序追问函数权限、入参校验、状态变更、外部交互、可递归性、事件可见性与可暂停性。按 OWASP SCSVS 分类组织审查:架构与设计(代理模式、存储间隙、初始化保护、delegatecall 仅指向可信不可变目标)、代码质量(显式可见性、固定 pragma、无弃用函数)、授权(所有状态变更函数受控、禁用 tx.origin、初始化一次、特权角色多签或时间锁)、通信(外部调用返回值检查、pull-over-push、CEI 或 ReentrancyGuard)、密码学(禁止链上随机数、EIP-712、用 abi.encode、签名可塑性防护、校验 ecrecover 结果)、DeFi(滑点保护、闪电贷抵抗、预言机操纵防护、不依赖 address(this).balance 记账、兼容转账手续费与 rebasing 代币)、区块链层(关键逻辑不依赖区块属性、防抢跑)、跨链桥(消息校验、重放保护、中继者信任模型)、治理(时间锁、提案执行安全、防闪电贷治理攻击)、组件安全(依赖审计与版本固定、接口合规)。按优先级给出模式:关键级包括 CEI、ReentrancyGuard、访问控制、SafeERC20 与检查 .call() 返回值;高级包括入参校验与自定义错误、升级安全与 initializer、Pausable 熔断;中级包括 nonce + EIP-712 签名防重放、Chainlink VRF 或提交揭示随机数、重要状态变更发事件。
使用方式:若已配置 solidity-agent-toolkit MCP 服务器,可调用 search_vulnerabilities、get_remediation、check_vulnerability、match_vulnerability_patterns、run_slither、run_aderyn,读取 scwe://{id}、scwe://category/{category}、sctop10://list 资源,或使用 security_audit、vulnerability_fix 提示词;未配置 MCP 时按上述原则人工审查。
限制:资料未提供具体安装命令、版本要求、支持的编译器版本范围与工具运行环境;MCP 相关工具需另行配置该服务器方可使用。