一键安装此插件：
42plugin install cameronfreer/lean4-skills/lean4-proof-repair42plugin install cameronfreer/lean4-skills/lean4-proof-repair插件介绍
基于编译器指导的迭代证明修复工具。 进行编译器指导的迭代证明修复，采用两阶段模型升级（Haiku → Sonnet）。用于小采样预算（K=1）的错误驱动证明修复。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/lean4-proof-repair42plugin install cameronfreer/lean4-skills/lean4-proof-repair基于编译器指导的迭代证明修复工具。 进行编译器指导的迭代证明修复，采用两阶段模型升级（Haiku → Sonnet）。用于小采样预算（K=1）的错误驱动证明修复。