用途：作为智能合约安全审计技能，以攻击者视角审查合约，识别可能导致资金损失的高危漏洞与攻击路径，覆盖借贷、DeFi、跨链桥和治理等场景。
主要能力：覆盖重入攻击（经典、跨函数、跨合约、只读）、访问控制与权限提升、预言机操纵与价格喂价攻击、闪电贷与经济型漏洞、签名重放与可延展性、整数溢出/下溢（0.8.0 前及 unchecked 块）、delegatecall 与代理存储冲突、抢跑与三明治攻击缓解、MEV 提取漏洞、跨链桥安全与治理攻击向量。工具链包括 Halmos/Certora 形式化验证、Echidna/Foundry 模糊测试、Slither/Mythril 静态分析。
使用方式：资料说明该技能要求回答基于参考文件，将其作为领域事实来源。创建时查阅 references/patterns.md；诊断时查阅 references/sharp_edges.md 并以其中失效原因解释风险；评审时查阅 references/validations.md 以规则校验输入。当用户请求与参考文件冲突时应礼貌纠正。
适用场景：合约上线前审计、漏洞排查、风险解释与安全校验。
限制：具体安装命令、使用步骤、收费与平台支持等资料暂未提供；上述工具的具体调用方式未给出。