用途：该技能旨在训练智能合约审计思维，帮助发现自动化工具遗漏的漏洞，撰写清晰发现项，并评估 DeFi 协议的协议级风险。核心立场是审计不是确认代码可用，而是证明其可被攻破。
主要能力：提供漏洞分类体系，分为关键（重入、闪电贷攻击、访问控制、未检查返回值、存储冲突）、高危（预言机操纵、整数溢出、抢跑、拒绝服务、签名重放）、中危（舍入误差、时间戳依赖、中心化风险、缺失事件、Gas 优化）三层。给出四阶段审计流程：范围界定、架构审查、逐行审查、攻击模拟。逐行审查清单覆盖访问控制、输入验证、状态变更、外部调用、数学运算、代币处理与事件。还包含借贷、AMM/DEX、ERC-4626 金库、稳定币四类 DeFi 检查清单，以及审计报告发现格式与严重性分级标准。
使用方式：用 Foundry 编写概念验证漏洞利用与模糊测试，用 Slither 做静态分析，Mythril 做符号执行，Echidna 做属性模糊测试。示例命令：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。
适用场景：审计借贷、DEX、金库、稳定币等 DeFi 协议，也涉及与 Sperax 生态集成时的 USDs 重基、SPA 质押、ERC-8004 代理、Farms 奖励等注意事项。
限制：自动化工具只能辅助不能替代人工审查；部分内容依赖具体 Solidity 版本与链环境；资料未提供该技能的安装方式、收费、价格与平台支持信息。