用途：为 ML/AI 理论中的定理、引理、命题或推论撰写严谨的数学证明，补全缺失证明步骤，或在命题无法成立时给出修正与阻塞说明。
主要能力：提取并规范化命题陈述、显式假设、记号与定义；对命题做可行性分类，状态为 PROVABLE AS STATED、PROVABLE AFTER WEAKENING / EXTRA ASSUMPTION 或 NOT CURRENTLY JUSTIFIED；构建依赖图，选择直接、反证、归纳、构造、归约、耦合/概率论证或不等式链等策略；按编号步骤写出完整证明，并做最终校验。
使用方式：默认将证明包写入项目根目录的 PROOF_PACKAGE.md，除非用户显式指定文件路径。文件结构包含 Claim、Status、Assumptions、Notation、Proof Strategy、Dependency Map、Proof、Corrections or Missing Assumptions、Open Risks。若目标文件已存在，先读取再更新相关章节，不盲目重复内容。除非用户明确要求，不直接写入论文正文或附录 .tex 文件。
适用场景：需要严格证明的机器学习理论工作，包括定理草稿、附录证明、引理补全与命题修正。
限制：不伪造缺失证明步骤；不静默加强假设或缩小命题范围；若命题按原样不成立，会明确说明并给出反例或修正陈述；无法诚实完成时输出 NOT CURRENTLY JUSTIFIED 阻塞报告。数学公式使用 $...$ 与 $$...$$，不以纯文本书写。具体安装命令、收费与平台信息暂未提供。