← 返回个人主页

Analysis Proof & Manuscript Refinement

用于数学分析证明与证明型稿件审阅的公开 standalone Codex skill

下载 ZIP 审阅源码 MIT License Markdown 教程

它做什么

审阅已有证明的正确性、缺失假设和依赖关系，整理定理与章节结构，统一记号，并检查 LaTeX 结构和交叉引用。它不会替代作者核验或形式化证明助理。

Codex 桌面应用一键安装

在一个新的 Codex 任务中粘贴下面的提示词：

使用 $skill-installer 从下面的 GitHub 目录安装 skill：
https://github.com/zhangchi-chen/zhangchi-chen.github.io/tree/analysis-proof-manuscript-refinement-v0.1.0/skills/analysis-proof-manuscript-refinement

不要修改或覆盖任何现有 skill。如果目标目录已经存在，停止并报告。安装后确认 skill 名称和实际安装位置，并告诉我它应在下一轮可用；如果下一轮仍未出现，再建议重启 Codex。

Codex 可能请求联网下载和写入用户 skill 目录的授权；批准前请核对仓库所有者、版本标签和目标目录。安装完成后的下一轮消息中显式调用：

请使用 $analysis-proof-manuscript-refinement 审阅我附上的证明，优先报告正确性问题和缺失假设；先给出按严重程度排序的发现，不要直接改写文件。

手动安装

  1. 下载 ZIP 并解压。
  2. 将完整文件夹放入 macOS/Linux 的 $HOME/.agents/skills/，或 Windows PowerShell 的 $HOME\.agents\skills\。
  3. 如果 Codex 没有自动发现它，重启 Codex。

手动安装使用当前官方用户级目录；$skill-installer 可能使用随 Codex 版本变化的受管目录，请以它报告的实际路径为准。

SHA-256: 7cad41218c3266d883c082598da4f76be76a766f0a7e4010e95093f9ada43e2b

MIT 许可只覆盖该公开 skill 包，不覆盖个人主页的其他内容。

隐私与安全

本次发布包只有纯文本的 Markdown、YAML 和 LICENSE 文件；没有脚本、可执行文件、MCP 依赖、遥测或自动网络请求，也没有来自个人论文或未公开研究的案例、定理、专用记号或文件路径。核心审阅不要求联网；若用户明确授权来源核查，Codex 可能使用运行环境提供的搜索工具。

skill 本身不会新增数据传输渠道；Codex 及用户启用的工具仍会按照其运行环境和账户设置处理用户提交的稿件。提交未公开或保密稿件前，请确认账户数据控制、单位政策和上传授权，并按需删除作者、机构、致谢和文件元数据。建议安装前先审阅源码。

分发说明

这是 standalone skill 的源码分发版本。OpenAI 当前建议把面向更广泛用户的可安装分发进一步封装为 plugin；本版本主要用于直接审阅、安装和试用。参见 OpenAI skill 文档。