Claude Code Skills · Category
docx / pdf / formula / proof reading 等论文素材处理。
In this category
6
items
Chanw-research/claude-code-paper-writing
论文写作场景的 .docx 文件处理 skill。支持创建带目录、页眉页脚、修订标记的 Word 文档，也能读取现有文档的文本与 XML 结构。内部调用 JavaScript 的 docx 库生成内容，借助 pandoc 提取文本或接受修订。适合需要在 CLI 环境下自动化生成论文草稿、整理同行评审意见、或批量处理文档模板的研究者。
帮助研究人员把散乱的公式笔记整理成一篇连贯的推导文档。skill 会先锁定推导目标、核对假设与符号定义，然后输出三种结果之一：完整的推导包、经过重构对象或假设修正后的推导包，或者一份 blocker 报告，解释当前笔记为什么无法支撑连贯推导。适用于论文写作者从理论草稿过渡到成稿的阶段。
Microsoft 开源的 MarkItDown 工具，用于将 PDF、Office 文档、图片、音频、HTML 等十余种格式统一转为干净 Markdown。Markdown 对 LLM 处理更为节约 token，适合作为知识库预处理或文档管道的前端环节。此 skill 还融合了生成科学示意图的能力，可在转换完成后自动建议补充论文级插图。
这个 skill 封装了 pypdf 与 pdfplumber，能够从 PDF 中抽取文本与表格、合并或拆分文件、旋转页面、添加水印、填充表单、加密解密，以及用 ocrmypdf 对扫描件做 OCR。论文写作中处理文献、整理审稿意见、合并多个文档或生成自定义 PDF 时都用得上。
数学证明的自动化验证与修复工作流。该 skill 读取 LaTeX 证明文本，通过跨模型对抗审查（基于 GPT-5.4 高推理配置）识别逻辑缺口、量词错误、未证明断言等，逐条修正后重新审查，最终生成审计报告。适用于理论论文中需要多人轮值审查前的自动化扫查，或作为审稿环节的辅助工具。
proof-writer 专门用于书写严格的数学证明，覆盖定理、引理、命题与推论的起草与补全。它自动判定原始命题是否在给定假设下可证，若能则输出完整证明，若不能则给出修正后的命题或堵塞报告说明为什么证明不成立。适合在撰写机器学习理论论文时，需要逐条验证论证链条完整性的研究者。