一个现代的 Agentic L^aT_eX 编辑器

修改 1 评论

用 L^aT_eX 写文档，与 L^aT_eX 源码何干？我只看 PDF！😎

main.tex · 第 6 行

用 \LaTeX{} 写文档，得看与 \LaTeX{} 源码，去何干？我只看 PDF 里找对应 😭！😎

$ npm install -g papilot

版本 0.9.0 · 免费开源 · MIT 许可证

支持的编程智能体

Codex
Claude
Cursor
GitHub Copilot
Grok
Antigravity
Kimi
GLM
DeepSeek
Qwen
OpenCode

写文档，重要的是想法和故事

字句怎么改、版面怎么排，不该分走注意力。

main.tex

\subsection{Typing}
A lambda $\lambda x.\,e$ has a
function type when its
body does:
\begin{mathpar}
  \inferrule
    {\Gamma, x{:}\tau_1 \vdash e : \tau_2}
    {\Gamma \vdash \lambda x.\, e
       : \tau_1 \to \tau_2}
\end{mathpar}
Application is typed
in the same way.

3.2 TypingΓ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

AI 之前

手写 L^aT_eX

源码在左、预览在右，每一行都得亲手敲。

AI 加进编辑器

核对 L^aT_eX 差异

AI 改了源码，差异一多就看不过来，最后只能由它说了算。

Papilot

审阅 PDF

AI 改源码，改动排好版后在页面上逐条审阅。

01批注

在页面上指出要改什么

选中一句话，或框出一个公式、一张图，写下修改意见。智能体拿到的是对应的源码位置，不需要知道它在哪个文件里。

该类型系统在保持类型检查可判定的同时，显著提升了语言的表达能力。

=+(4)

PDF 上的 2 条批注 1第 2 页 · main.tex:24

说得直白一点

2第 2 页 · main.tex:31

图例挪到右上角

12 Claude

这里应该怎么改？

02审阅

每一处改动，逐条拍板

文档是写给人读的，每一处都得准确。改动再多，也一条条排好版过目，没接受的不会进入文档。还不满意的，写条评论让它再改一轮。

3.2

修改 1

修改前

~~函数 λx. e 的类型由参数 x 和函数体 e 的类型决定。~~

修改后

若在上下文 Γ, x : τ₁ 中 e 的类型为 τ₂，则 λx. e 的类型为 τ₁ → τ₂。Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

审阅反馈 · 1 条评论

这里写成推导规则

1 项审阅更新尚未发送发送反馈

Codex

希望智能体在这里做什么修改？

03提交

每一处改动都有记录

每个任务都在独立的 Git 工作树里进行，接受之后，提交和推送是单独的一步。文档的每一次变化都留在 Git 历史里。

3.2

Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

main

已暂存 1 个文件

main.tex+3 −1

提交信息

提交 1 个文件

T-Abs 写成推导规则3f9c2a1

ecce73e

91b07d4

5a2e8c0

推送已推送到远程。

下载 Papilot

桌面版支持 macOS 和 Linux，命令行版用 npm 安装（需要 Node.js 22.22+）。两者都使用本机已安装的 Git 和 TeX 发行版（MacTeX 或 TeX Live）。Papilot 免费开源，采用 MIT 许可证。

配置智能体（英文）更新日志

终端

$ npm install -g papilot
$ papilot demo
Example paper ready: Papilot paper (~/.papilot/example-paper)
Papilot is running at http://127.0.0.1:7274

一个现代的 Agentic LaTeX 编辑器