加固策略顾问

评估代码变更，推荐适用的精化与加固工具（如 TLA+、Lean、变异测试等），确定检查范围及不变量。