Un éditeur agentique moderne pour L^aT_eX

Modification 1 Commenter

En L^aT_eX, pourquoi lire le code L^aT_eX ? Je lis le PDF ! 😎

main.tex · ligne 6

En \LaTeX{}, je lispourquoi lire le code \LaTeX{} et cherche dans ? Je lis le PDF 😭 ! 😎

$ npm install -g papilot

Version 0.9.0 · Gratuit et open source · Licence MIT

Agents de codage pris en charge

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

Ce qui compte dans un article, c'est l'idée et le récit

La reformulation et la mise en page ne devraient pas en détourner l'attention.

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

Avant l'IA

Écrire du L^aT_eX à la main

La source à gauche, l'aperçu à droite, chaque ligne tapée à la main.

L'IA ajoutée à l'éditeur

Vérifier les diffs L^aT_eX

L'IA modifie la source. Dès que les diffs s'accumulent, on ne les lit plus et c'est l'IA qui décide.

Papilot

Réviser le PDF

L'IA modifie la source, et chaque modification est révisée sur la page composée.

01Annoter

Pointez ce qui doit changer

Sélectionnez une phrase, ou encadrez une équation ou une figure, et indiquez ce qui doit changer. L'agent reçoit les lignes exactes de la source, sans que vous ayez besoin de savoir dans quel fichier elles se trouvent.

Le système de types accroît nettement l'expressivité du langage tout en gardant la vérification de types décidable.

=+(4)

2 annotations sur le PDF 1Page 2 · main.tex:24

Le dire plus simplement

2Page 2 · main.tex:31

Déplacer la légende en haut à droite

12 Claude

Que faut-il modifier ici ?

02Réviser

Chaque modification, décidée une par une

Un article est écrit pour être lu : chaque modification doit donc être juste. Quel qu'en soit le nombre, chacune s'affiche mise en page, et rien n'intègre l'article sans avoir été accepté. Si une modification ne convient pas encore, commentez-la et l'agent la révise.

3.2

Modification 1

Avant

~~Le type de λx. e est déterminé par les types de x et de son corps e.~~

Après

Si e a le type τ₂ dans le contexte Γ, x : τ₁, alors λx. e a le type τ₁ → τ₂.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

Retours de révision · 1 commentaire

Écrire ceci sous forme de règle d'inférence

1 mise à jour de révision non envoyéeEnvoyer les retours

Codex

Que doit modifier l'agent ici ?

03Valider

Chaque modification consignée

Chaque tâche s'exécute dans son propre arbre de travail Git, et valider puis pousser les modifications acceptées constitue une étape distincte. Chaque modification de l'article reste dans son historique Git.

3.2

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

main

1 fichier indexé

main.tex+3 −1

Message de commit

Valider 1 fichier

Écrire T-Abs sous forme de règle3f9c2a1

ecce73e

91b07d4

5a2e8c0

PousserPoussé vers le dépôt distant.

Obtenir Papilot

L'application de bureau fonctionne sur macOS et Linux, et la version en ligne de commande s'installe depuis npm (Node.js 22.22+). Toutes deux utilisent Git et votre propre distribution TeX (MacTeX ou TeX Live). Papilot est gratuit et open source sous licence MIT.

Configuration d'un agent Journal des modifications

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

Un éditeur agentique moderne pour LaTeX