現代化的智慧代理 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 修改原始碼。一旦差異累積過多，根本無從讀起，最後只能任由 AI 決定。

Papilot

審閱 PDF

由 AI 修改原始碼，並在排版後的頁面上審閱每一項變更。

01標註

直接指出需要修改的地方

選取一個句子，或框選公式與圖表，寫下需要修改的內容。智慧代理會直接取得確切的原始碼行號，無需知道它們位於哪個檔案。

The type system markedly increases the expressiveness of the language while keeping type checking decidable.

=+(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

現代化的智慧代理 LaTeX 編輯器