用途:对论文 LaTeX 源码执行可程序化的发布前检查,属于 Carlini 研究论文发布清单中可自动化的部分。覆盖哪些条目及哪些仍需人工,见 references/coverage.md;需人工查看、PDF 或征稿要求的条目属于 paper-release-checklist。脚本会跟随根文件的 \input 和 \include,检查前剥离 % 注释。
主要能力:检测 TODO/FIXME/XXX 文本、\todo 类批注宏、合并冲突标记、盲审稿件中的作者名,以及构建日志含 error 或 undefined 的行(以上为 error);检测重复词、非省略号的连续两点、??(通常为未解析引用)、摘要中的 LaTeX 宏、注释中的致谢标题、构建日志含 warning 或 missing 的行(以上为 warning);并输出 \title 与摘要文本供作者核对(info)。
使用方式:在含 SKILL.md 的目录运行 python3 scripts/check_tex.py path/to/main.tex,可用 --log 传入构建日志,或用 --blind --author "Full Name"(可多次)检查盲审。输出格式为 severity<TAB>file:line<TAB>message,每行一条,末尾有汇总行。需 Python 3.10 或更高版本,无需第三方包。退出码 1 表示至少一个 error,0 表示无,2 表示用法错误(文件缺失、--blind 未配 --author)。
限制:脚本不判断重复词是否有意、标题是否正确,这些交给作者决定;结果绑定行号,作者修改后需重跑;报告须照实呈现脚本输出,未在最终源码上运行不得称通过;无 Python 时应给出等价手工搜索模式,不要为运行脚本安装任何东西。资料未提供具体覆盖条目清单及平台支持等细节。