用途：系统化审计智能合约，寻找无权限账户可提取资金或越权访问的可利用漏洞。
主要能力：覆盖合约侦察（余额、字节码、Etherscan 验证状态、EIP-1967 代理槽检查）、源码分析（危险函数、访问控制模式、已知漏洞）、DeFi 特定攻击向量（价格预言机操纵、闪电贷、重入变体、ERC-4626 通胀、Permit 重放、治理攻击）、字节码反汇编与选择器查询、漏洞分级、Foundry 分叉验证及报告生成。附带完整漏洞检查清单。
使用方式：需设置 ETH_RPC_URL 与 ETHERSCAN_API_KEY 环境变量，安装 Foundry（curl -L https://foundry.paradigm.xyz | bash 后执行 foundryup）与 Slither（pip3 install slither-analyzer）。常用命令包括 cast etherscan-source、cast code、cast disassemble、cast storage、slither . --checklist、forge test --fork-url $ETH_RPC_URL -vvvv。验证时须确认资金实际转移，调用成功不等于利用成功。
适用场景：审计 Solidity 合约、审查字节码、分叉测试漏洞利用、DeFi 协议安全评估。
限制与风险：仅限授权安全研究，只能在分叉上测试，未经明确授权不得在主网执行；需注意法律影响并考虑负责任披露。工具参考中提及 Mythril、Tenderly、Dedaub 等，具体用法资料未展开。官方未提供收费、价格或平台信息。