Un moderno editor agentico per L^aT_eX

Modifica 1 Commenta

In L^aT_eX, perché leggere il sorgente L^aT_eX? Leggo il PDF! 😎

main.tex · riga 6

In \LaTeX{}, devoperché leggere il sorgente \LaTeX{} e cercare nel? Leggo il PDF 😭! 😎

$ npm install -g papilot

Versione 0.9.0 · Gratuito e open source · Licenza MIT

Agenti di programmazione supportati

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

Ciò che conta in un articolo sono l'idea e la storia

Riformulazione e impaginazione non dovrebbero sottrarre loro attenzione.

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

Prima dell'IA

Scrivere in L^aT_eX a mano

Sorgente a sinistra, anteprima a destra, ogni riga scritta a mano.

IA aggiunta all'editor

Controllare i diff L^aT_eX

L'IA modifica il sorgente. Quando i diff si accumulano, non vengono più letti ed è l'IA a decidere.

Papilot

Revisionare il PDF

L'IA modifica il sorgente e ogni modifica viene revisionata sulla pagina composta.

01Annota

Indica cosa modificare

Seleziona una frase, o riquadra un'equazione o una figura, e scrivi cosa modificare. L'agente riceve le righe esatte del sorgente, senza che tu debba sapere in quale file si trovano.

Il sistema di tipi aumenta notevolmente l'espressività del linguaggio mantenendo decidibile il controllo dei tipi.

=+(4)

2 annotazioni sul PDF 1Pagina 2 · main.tex:24

Dillo in modo più semplice

2Pagina 2 · main.tex:31

Sposta la legenda in alto a destra

12 Claude

Cosa va modificato qui?

02Revisiona

Ogni modifica, decisa una per una

Un articolo è scritto per essere letto, quindi ogni modifica deve essere giusta. Per quante siano, ciascuna viene mostrata già impaginata e nulla che non sia stato accettato entra nell'articolo. Se una non è ancora giusta, commentala e l'agente la rivede.

3.2

Modifica 1

Prima

~~Il tipo di λx. e è determinato dai tipi di x e del suo corpo e.~~

Dopo

Se e ha tipo τ₂ nel contesto Γ, x : τ₁, allora λx. e ha tipo τ₁ → τ₂.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

Feedback di revisione · 1 commento

Scrivilo come regola di inferenza

1 aggiornamento di revisione non ancora inviatoInvia feedback

Codex

Cosa deve modificare qui l'agente?

03Commit

Ogni modifica sempre tracciata

Ogni attività viene eseguita nel proprio albero di lavoro Git, e il commit e il push delle modifiche accettate costituiscono un passaggio separato. Ogni modifica all'articolo resta nella sua cronologia Git.

3.2

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

main

1 file in staging

main.tex+3 −1

Messaggio di commit

Esegui commit di 1 file

Scrivi T-Abs come regola3f9c2a1

ecce73e

91b07d4

5a2e8c0

PushPush eseguito sul remoto.

Scarica Papilot

L'app desktop funziona su macOS e Linux, mentre la versione a riga di comando si installa da npm (Node.js 22.22+). Entrambe utilizzano Git e la tua distribuzione TeX (MacTeX o TeX Live). Papilot è gratuito e open source con licenza MIT.

Configurazione di un agente Note di rilascio

Terminale

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

Un moderno editor agentico per LaTeX