Math Workspace 是面向长篇数学书稿的本地写作与审阅工作区。用 Markdown 维护原稿，在 Reader 中阅读、查定义与符号、对照 Lean，再把选定章节编排成一版 PDF。章节、前言、后记和未完待续页都保存在书稿中，日常阅读与出版引用同一份内容。
它可以作为 Codex 插件使用，也提供独立 CLI。Lean 是可选功能，日常写作、阅读和稳定引用无需配置 Lean 工程。项目目前为开发预览，建议在版本控制下使用。
阅读、引用与交互图
Reader 提供书、卷、章节导航，当前页目录，以及定义、符号与引用原文的查询。它只监听本机的 127.0.0.1；界面可选择中文或英文、浅色或深色，也可跟随 Codex 或浏览器，书稿语言与 PDF 语言独立保留。
- 稳定引用：章节、小节、命题、公式、图和表可使用稳定的
h-*标识。文件重排时引用仍指向原对象，读者看到的编号按当前结构生成；finish固化临时标识，verify检查断裂引用等结构问题。 - 数学排版与练习：长公式可在窄窗口中按安全边界折行，并保留原始 LaTeX、编号和源码位置。习题按章独立编号，提示与解答默认折叠，跨文件解答支持双向跳转，导出保留完整内容。
- 交互图与静态图：书稿内的自包含 HTML 图可在 Reader 原位显示，加载失败时回退到配套静态图；Markdown 与 PDF 导出使用静态图片。
命题关系图来自正文显式声明的依赖。符号审计由用户启动，检查作用域与含义，结果作为建议报告展示；结构校验和符号建议都不替代数学审阅。
在 Codex 中继续写作
选中 Reader 中的文字或公式，可以把原始 Markdown / LaTeX、文件位置和行号加入当前 Codex 输入框，再补充问题并发送。只读 MCP 查询提供正文锚点、命题、依赖、术语和既有审阅证据，让后续讨论能够回到具体原稿。
侧栏的 ＋ 用于添加章节、前文、后文或未完待续页。确认书卷与文件位置后，请求先进入 Codex 输入框；发送后再由 AI 调用 CLI 创建文件、写正文并校验。Reader 不直接改写 Markdown，创建命令也拒绝覆盖已有文件。普通浏览器可以复制同一请求。
正文与 Lean 逐项审阅
工作台并排显示数学陈述、关联证明与对应 Lean 声明，支持按页或章节审阅，也能打开完整 Lean 文件，查看语法高亮、搜索、折叠、行号和源码差异。
“刷新证据”使用已有本地工具链与依赖离线构建，记录声明类型、直接依赖和公理依赖，保留显示 sorryAx。人工结论、子论断映射和未解决问题独立保存；材料变化后，旧结论会提示复核。构建成功不会自动得出正文与形式化语义一致的结论。
macOS 上还可显式开启只读、断网隔离的实时 Lean 语义会话，查询类型、定义和证明目标，需要本地工具链与依赖已就绪。AI 辅助审阅返回的候选进入待核对草稿，人工结论由审阅者明确保存。
原稿版本与签署
“版本与出版 → 版本记录”展示历史原稿、文件差异与签名核验结果。学术留档保存在项目的 .math-archive/，保留原始文件与版本关系，与可重建的阅读索引、文档阶段标签分别保存。
原稿版本可使用 Cosign / Sigstore 签署，支持分卷与整部作品的版本关系。签署由用户主动发起并完成身份认证；签名核验、原稿完整性、正文变化和 Lean 证明状态分别展示。
按章节出版，持续增补
在 Reader 的“版本与出版 → PDF 出版”中选择本版的卷和章节，组合封面、前文、目录、正文、后文与未完待续页。章节保留整本书的原编号，范围外引用会列出供核对。生成后可预览、下载 PDF，并查看版次清单与引用信息。
PDF 生成依赖本机 Pandoc 和 LaTeX 工具链。作品与本版 DOI 可以手填，也可通过 Zenodo 预留 DOI、上传并发布，持续增补时保留历史版次。Zenodo 操作需要在本地服务进程环境中配置令牌；预留、上传和正式发布分别启动，本地 PDF 构建不会自动发布。
安装与上手
Codex 插件自带 CLI 和 Reader 运行时：
codex plugin marketplace add glenzli/marketplace --ref main
codex plugin add math-workspace@glenzli-marketplace安装或更新后，新建 Codex 任务，请它为写作项目打开 Math Workspace；尚未配置的项目先完成初始化。
也可以安装独立 npm 包，在项目中固定工具版本：
npm install -D math-workspace
npx math-workspace init
npx math-workspace open编辑后运行 npx math-workspace finish path/to/chapter.md，固化临时标识并校验目标范围；verify 检查整项目结构，doctor 检查项目发现、Reader 产物与可选工具链。npm 与 marketplace 分别发布，具体能力以所安装版本为准。