用途：该技能用于审计可升级合约、代理模式或 diamond 标准实现时的代理与升级类漏洞查找。当审计对象涉及任何可升级合约、代理模式时加载使用。
主要能力：涵盖 UUPS、透明代理、beacon 代理、存储冲突、变形合约（metamorphic contracts）、初始化器问题以及函数选择器相关风险。
参考文件：references/checklist.md，提供完整的代理与升级检查清单。
使用方式与限制：资料仅说明在审计可升级合约、代理模式或 diamond 标准实现时加载，并提及上述参考文件；未提供具体安装命令、调用步骤或工具运行示例。检查清单的具体内容、判定规则、支持范围与平台信息暂未提供。