用途：在证明已完成、进入文字与严谨性打磨阶段时使用，目标是让手稿达到《数学年刊》审稿标准。核心原则是“不留隐藏缺口”——审稿人会逐行验证证明，任何被软化词掩盖的逻辑跳跃都是致命的。
主要能力：识别并处理“It is easy to see”“Clearly/obviously”“A standard argument shows”“By a similar argument”“It can be shown that”“Modulo routine modifications”等措辞，要求补出一行理由、精确引用引理或改写为带证明的引理。同时检查量词顺序是否显式、常数依赖是否写明、每个引理是否自带假设、符号是否一物一名、定义是否先于使用、定理陈述与证明是否严格对应。
使用方式：按清单逐项自查——每个软化词要么用一句话说明理由，要么删除；标准论证与相似论证需点名并精确引用；显示公式需作为句子的一部分加标点，并用 \eqref/\cref 保持引用正确。输出格式包含：软化词实例统计与处理结果、标准论证的命名引用、量词与常数修正、陈述与证明匹配确认、剩余未解决缺口（若有则视为阻塞项，需返回 anmath-methods）、下一步 anmath-length-management。
适用场景：纯数学论文投稿前的语言与逻辑精修，尤其适合非母语作者的英文润色，但润色不得以牺牲精确性为代价。
限制：资料未提供该技能的具体安装命令、运行环境、收费方式或平台支持信息；其内容聚焦写作规范，不涉及数学方法本身的正确性验证。