用途：在测试通过、行为已锁定之后，降低 Cairo 热路径的 gas/步数消耗。适用于性能分析定位瓶颈、重写昂贵算术与循环、应用 BoundedInt 优化、打包存储字段等场景。不适用于早期原型（应先写测试）、合约架构决策、安全审计与部署操作。
主要能力：提供 profile、arithmetic、bounded-int、storage 四种模式；包含性能分析脚本与 BoundedInt 边界计算脚本；内置算术规则（如用 DivRem::div_rem 替代分开的 / 和 %、循环条件用 !=、用查表替代 pow()、循环前缓存 .len()、用最小整数类型、双输入 Poseidon 用 hades_permutation）、存储打包规则（StorePacking trait）与 BoundedInt 规则（输入输出均用 BoundedInt、用 u128s_from_felt252 + upcast 批量转换、负被除数用 SHIFT 模式）。
使用方式：先运行 snforge test 确认测试通过；用 python3 skills/cairo-optimization/scripts/profile.py profile 做基线分析；按优化类型加载 references 中的规则；每次只应用一类优化，改后重跑测试与性能分析；BoundedInt 边界必须用 python3 {skill_dir}/scripts/bounded_int_calc.py 计算，不得手算。合并前必须经过 auditor，optimization → testing 为可选的回归加固步骤。
限制：不得优化未测试代码；每次提交只含一类优化；改后必须重新分析确认可测量提升；禁止手算 BoundedInt 边界；禁止写出反模式。错误码 OPT-001 至 OPT-004 分别对应基线测试失败、分析产物缺失、BoundedInt 边界无效、改后性能回退，需按对应方式恢复。具体收费、平台与效果数据暂未提供。