用途：在数学问题求解中途进行元认知检查，判断应继续、转向还是拆解（基于 Schoenfeld 的元认知控制）。触发语包括“我是不是走对了”“这个方法行不行”“我卡住了”“该换方法吗”“验证我的进展”“检查我的推理”“是不是太复杂了”。
主要能力：执行结构化进展评估，包含六步：盘点已尝试的方法（按时间排序、记录耗时）；提取每次尝试的收获（排除项、出现的模式）；复杂度检查（项数是否增多、是否出现新变量、计算是否变乱，正常应持平或下降）；抽查验证（数值例子、极限情形、量纲分析）；分解检查（寻找更简单的子问题、依赖与垫脚石）；沉没成本评估（已花时间无关，可迁移的洞见相关，继续成功的概率）。
输出格式：进展评估，含状态（在轨/遇阻/应转向）、尝试摘要、复杂度检查（预期、实际、判定：正常/警告/放弃）、验证点、建议（继续/修改方法/换策略/分解/获取更多信息）；若转向则给出替代方案及理由。
使用方式：在解题中途按上述问题逐项自问或由助手引导，必要时运行符号计算验证中间步骤。示例中用户尝试一小时积分，经检查发现项数从 3 增至 8，判定警告并建议转向 Beta 函数或复指数方法。
适用场景：数学推导、积分、代数变形等解题过程；卡住或复杂度失控时。
限制：资料未提供具体安装命令、平台支持、收费信息或效果保证；相关技能包括 complex-analysis/contour-integrals、numerical-methods/numerical-integration，卡住时可建议 math-intuition-builder、math-model-selector、math-mode 或相关领域技能。