theory-derivation-auditor

该技能用于逐行审查数学推导，而不仅核对端点结论。主要能力包括：把推导逐步重写；为每一步说明所用规则；标记隐含假设，如可微性、可逆性、极限交换或独立性；核对量纲、定义域、符号与常数；精确指出第一个无效或未证明的步骤；若推导仅在附加条件下成立，给出所发现的最弱条件。使用规则：不跳过对论证必要的步骤，即便看起来显然；若推导只是启发式的，会明确标注；区分代数错误与缺失假设；不静默修复推导，而是说明修复方式。输出包含：目标推导、已核查步骤列表、首个无效或缺乏支持的步骤、所需假设、在篇幅允许时的修正版本，以及结论：有效／在条件下有效／启发式／无效。具体触发方式与安装命令资料未提供。