用途：当用户想推导公式、搭建理论主线、整理假设，或把零散公式串成连贯推导时使用。它强调产出诚实的推导包，而非伪造的漂亮定理故事。
主要能力：冻结推导目标（恒等式/代数、命题、近似、机制解释）；选定组织推导的不变量对象（目标函数、总成本、守恒量、有效速率等）；规范化假设、符号与适用边界；把每个非平凡步骤标注为恒等式、命题、近似或解释；构建推导映射并写入推导文档；最后做一致性校验。
使用方式：默认输出到项目根目录的 DERIVATION_PACKAGE.md，也可由用户指定文件路径。文档结构包含 Target、Status、Invariant Object、Assumptions、Notation、Derivation Strategy、Derivation Map、Main Derivation、Remarks and Interpretation、Boundaries and Non-Claims、Open Risks。状态取 COHERENT AS STATED、COHERENT AFTER REFRAMING / EXTRA ASSUMPTION 或 NOT YET COHERENT。若笔记尚不连贯，则输出重构后的推导包或阻塞报告。
适用场景：理论主线搭建、公式逻辑梳理、把说明文档转为可写入论文的公式文档。精确命题与假设稳定后，才适合转用 proof-writer；需要 Lean 形式化时再用 /lean-formalize。
限制：不编造连贯推导；不隐藏缺口；不把解释性内容当作已证明；不直接写入论文或附录 .tex，除非用户明确指定。具体安装命令与收费信息暂未提供。