用途：在稿件基本定稿、准备投给《数学年刊》前，模拟一位专家审稿人的阅读方式，对自己的证明做对抗性检查，提前消除审稿人可能提出的异议。触发场景包括：想抢在专家之前对自己的证明做敌意阅读、不确定哪些步骤会被仔细审稿人质疑、想决定投稿前应把哪些部分改得更容易验证。
主要能力：该技能假设审稿人是领域专家，会长期（常达一年以上）逐步骤重建证明，而非略读。其隐含追问包括：结果是否足够重要（重要性在报告阶段会被再次评判）、每一步是否真正成立、所引外部结果是否如其所述、定理与证明是否匹配（过度声称会被抓住）、是否有内容藏在“显然”之后。自查清单覆盖：关键点（crux）是否完整写出且易于定位；最弱步骤是否被加强或展开而非隐藏；每个“显然”“标准”是否被解决或精确引用；每个外部定理的假设是否与自己的用法一致（需回原文核对）；量词顺序与常数依赖是否正确；退化与边界情形是否处理；计算机辅助步骤的代码与数据是否归档、结论是否可复现。
使用方式：按技能给出的自查表逐项检查，并输出固定格式的结果，包括关键点是否可定位且完整、最弱步骤及其处理、外部引用假设是否匹配、边界情形、计算机辅助可复现性、建议审稿人（须为无利益冲突的真实专家并如实声明冲突）、需向编辑提示的残余风险，以及下一步（投稿后等待报告，转入修订环节）。若投稿门户允许推荐审稿人，应推荐真实专家，不要塞满密切合作者。
适用场景与限制：适用于数学论文投稿前的自查与准备，尤其是证明较长、依赖外部结果或含计算机辅助步骤的稿件。它不替代实际审稿意见，也不保证录用；重要性判断在报告阶段仍会被重新评估。资料未提供具体平台支持、收费或价格信息。