用途：该技能旨在训练智能合约审计思维，帮助发现自动化工具遗漏的漏洞，撰写清晰审计发现，并评估 DeFi 协议的协议级风险。核心原则是“证明代码可以被攻破”，而非确认其能运行。
主要能力：按严重程度整理漏洞分类。一级（资金风险）包括重入、闪电贷攻击、访问控制缺失、未检查返回值、存储冲突；二级（协议故障）包括预言机操纵、整数溢出/下溢、抢跑、拒绝服务、签名重放；三级（边界情况）包括舍入误差、时间戳依赖、中心化风险、缺失事件、Gas 优化。
使用方式：审计流程分四阶段。第一阶段界定范围，明确协议不变量、攻击面、代币标准、是否可升级及部署链。第二阶段架构审查，绘制合约依赖图并识别信任边界。第三阶段逐行审查，对每个外部/公共函数检查访问控制、输入验证、状态变更、外部调用、数学运算、代币处理与事件。第四阶段攻击模拟，用 Foundry 编写 PoC 与模糊测试。
自动化工具：Slither 用于静态分析，Mythril 用于符号执行，Echidna 用于属性模糊测试，Foundry Fuzz 用于定向模糊测试，4naly3er 用于 Gas 与信息类发现，Aderyn 用于 Rust 静态分析。示例命令：slither . --print human-summary；myth analyze contracts/Vault.sol --solv 0.8.20 --execution-timeout 300；echidna . --contract VaultTest --test-mode assertion --test-limit 50000。工具仅用于辅助人工审查。
适用场景：借贷协议、AMM/DEX、金库/收益（ERC-4626）、稳定币等 DeFi 系统审计，以及 Sperax 生态集成审计（USDs 变基、SPA 质押、ERC-8004 代理、Farms 奖励）。
限制：资料未提供该技能的安装方式、收费、价格、平台支持与效果保证；自动化工具存在漏报，需结合人工审查与业务逻辑理解。