用途：对智能合约与安全 API 合约做系统化安全分析，核心原则是任何状态变更都必须先通过不变量验证，才能执行外部调用。覆盖 EVM（Solidity）与 Solana（Rust）生态，并针对各平台漏洞模式分析。
主要能力：按五阶段推进。一、合约侦察：枚举入口点（external/public、fallback、receive）、识别改状态函数、梳理访问控制边界、编目外部调用、标注信任边界。二、重入分析：校验 Checks-Effects-Interactions（CEI）顺序，检查直接、跨函数与只读重入，识别共享状态风险。三、访问控制审计：逐个核对 onlyOwner、onlyRole 与自定义守卫，检查角色混淆（如 PAUSER_ROLE 同时可暂停与恢复）与关键参数缺少时间锁。四、整数算术分析：检查溢出、下溢、精度损失与舍入方向，重点审计 unchecked 块、内联汇编与类型转换。五、不变量验证：列出合约级不变量（如偿付能力、总供应量、费率上限、分母非零），标注已验证、未验证或已违反，并给出修复建议。最终输出安全报告，含发现分级（Critical/High/Medium/Low）、CEI 违规数、不变量状态表与建议。
使用方式：资料未提供具体安装命令或调用命令。建议工作流为：先用 audit-context-building 做初步代码侦察，再用本技能做合约专项分析，将发现交给 security-architect 做威胁建模，用 static-analysis（Semgrep/CodeQL）自动确认，用 medusa-security 做模糊测试与不变量测试。开始前可查看 .claude/context/memory/learnings.md 中同协议或代币标准的既往审计记录，分析中增量写入发现，完成后记录关键模式与架构决策。
适用场景：主网部署前审计、既有合约漏洞审计、API 合约不变量违规审查、新增入口点或外部调用、代理合约升级（存储槽冲突风险）、集成预言机、闪电贷或第三方 DeFi 协议时。
限制：资料未提供具体收费、价格、支持平台与效果数据。技能本身不替代自动化工具，需与静态分析与模糊测试配合；Solidity 0.8+ 原生溢出保护不覆盖 unchecked、汇编与类型转换，仍需显式验证。