En modern agentisk L^aT_eX-redigerare

Ändring 1 Kommentera

Skriva L^aT_eX, varför läsa L^aT_eX-kod? Jag läser PDF:en! 😎

main.tex · rad 6

Skriva \LaTeX{}, förstvarför läsa \LaTeX{}-kod, sen leta i? Jag läser PDF:en 😭! 😎

$ npm install -g papilot

Version 0.9.0 · Fri och öppen källkod · MIT-licens

Kodagenter som stöds

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

Det viktiga i en artikel är idén och berättelsen

Omformuleringar och layout ska inte ta fokus från dem.

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 : τ₁ → τ₂

Före AI

Skriva L^aT_eX för hand

Källkod till vänster, förhandsvisning till höger, varje rad skriven för hand.

AI tillagd i redigeraren

Kontrollera L^aT_eX-diffar

AI:n redigerar källkoden. När diffarna hopar sig förblir de olästa och AI:n bestämmer.

Papilot

Granska PDF:en

AI:n redigerar källkoden och varje ändring granskas på den typsatta sidan.

01Annotera

Peka på det som ska ändras

Markera en mening eller rama in en ekvation eller figur och skriv vad som ska ändras. Agenten får de exakta källkodsraderna, utan att du behöver veta vilken fil de ligger i.

Typsystemet ökar markant språkets uttrycksfullhet samtidigt som typkontrollen förblir avgörbar.

=+(4)

2 anteckningar i PDF:en 1Sida 2 · main.tex:24

Säg det enklare

2Sida 2 · main.tex:31

Flytta teckenförklaringen längst upp till höger

12 Claude

Vad ska ändras här?

02Granska

Varje ändring, avgjord en i taget

En artikel skrivs för att läsas, så varje ändring måste bli rätt. Hur många de än är visas var och en typsatt, och inget som inte har godkänts hamnar i artikeln. Om någon inte är rätt än, kommentera den så reviderar agenten den.

3.2

Ändring 1

Före

~~Typen för λx. e bestäms av typerna för x och dess kropp e.~~

Efter

Om e har typen τ₂ i kontexten Γ, x : τ₁, så har λx. e typen τ₁ → τ₂.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

Granskningsåterkoppling · 1 kommentar

Skriv detta som en inferensregel

1 granskningsuppdatering inte skickad änSkicka återkoppling

Codex

Vad ska agenten ändra här?

03Checka in

Varje ändring dokumenterad

Varje uppgift körs i sitt eget Git-arbetsträd, och att committa och pusha godkända ändringar är ett separat steg. Varje ändring i artikeln blir kvar i dess Git-historik.

3.2

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

main

1 fil stagad

main.tex+3 −1

Commit-meddelande

Committa 1 fil

Skriv T-Abs som en regel3f9c2a1

ecce73e

91b07d4

5a2e8c0

PushaPushad till fjärrarkivet.

Skaffa Papilot

Skrivbordsappen körs på macOS och Linux, och kommandoradsversionen installeras via npm (Node.js 22.22+). Båda använder Git och din egen TeX-distribution (MacTeX eller TeX Live). Papilot är fri och öppen källkod under MIT-licensen.

Konfigurera en agent Ändringslogg

Terminal

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

En modern agentisk LaTeX-redigerare