Ein moderner agentischer L^aT_eX-Editor

Änderung 1 Kommentieren

L^aT_eX schreiben: Wozu L^aT_eX-Code? Ich lese nur das PDF! 😎

main.tex · Zeile 6

\LaTeX{} schreiben: Ich leseWozu \LaTeX{}-Code und suche im? Ich lese nur das PDF 😭! 😎

$ npm install -g papilot

Version 0.9.0 · Kostenlos und Open Source · MIT-Lizenz

Unterstützte Coding-Agenten

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

Was in einem Artikel zählt, sind die Idee und die Geschichte

Umformulierungen und Layout sollten nicht von ihnen ablenken.

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

Vor KI

L^aT_eX von Hand schreiben

Quelltext links, Vorschau rechts, jede Zeile von Hand getippt.

KI zum Editor hinzugefügt

L^aT_eX-Diffs prüfen

Die KI bearbeitet den Quelltext. Sobald sich die Diffs häufen, bleiben sie ungelesen und die KI entscheidet.

Papilot

Das PDF überprüfen

Die KI bearbeitet den Quelltext, und jede Änderung wird auf der gesetzten Seite überprüft.

01Annotieren

Auf das zeigen, was geändert werden soll

Markieren Sie einen Satz oder rahmen Sie eine Gleichung oder Abbildung ein und schreiben Sie, was geändert werden soll. Der Agent erhält die genauen Quelltextzeilen, ohne dass Sie wissen müssen, in welcher Datei sie stehen.

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

=+(4)

2 Anmerkungen im PDF 1Seite 2 · main.tex:24

Einfacher formulieren

2Seite 2 · main.tex:31

Legende nach oben rechts verschieben

12 Claude

Was soll hier geändert werden?

02Überprüfen

Jede Änderung einzeln entschieden

Ein Artikel wird geschrieben, um gelesen zu werden – daher muss jede Änderung sitzen. Wie viele es auch sind: Jede einzelne wird fertig gesetzt angezeigt, und nichts gelangt in den Artikel, bevor es angenommen wurde. Passt eine Änderung noch nicht, kommentieren Sie sie und der Agent überarbeitet sie.

3.2

Änderung 1

Vorher

~~Der Typ von λx. e wird durch die Typen von x und seinem Rumpf e bestimmt.~~

Nachher

Wenn e den Typ τ₂ im Kontext Γ, x : τ₁ hat, dann hat λx. e den Typ τ₁ → τ₂.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

Feedback zur Überprüfung · 1 Kommentar

Schreibe dies als Inferenzregel

1 Aktualisierung zur Überprüfung noch nicht gesendetFeedback senden

Codex

Was soll der Agent hier ändern?

03Committen

Jede Änderung im Verlauf festgehalten

Jede Aufgabe läuft in ihrem eigenen Git-Arbeitsbaum, und das Committen und Pushen angenommener Änderungen ist ein separater Schritt. Jede Änderung am Artikel bleibt in seiner Git-Historie erhalten.

3.2

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

main

1 Datei vorgemerkt

main.tex+3 −1

Commit-Nachricht

1 Datei committen

T-Abs als Regel darstellen3f9c2a1

ecce73e

91b07d4

5a2e8c0

PushenAuf das Remote-Repository gepusht.

Papilot herunterladen

Die Desktop-App läuft unter macOS und Linux, und die Kommandozeilenversion wird über npm installiert (Node.js 22.22+). Beide nutzen Git und Ihre eigene TeX-Distribution (MacTeX oder TeX Live). Papilot ist kostenlos und Open Source unter der MIT-Lizenz.

Einen Agenten einrichten Änderungsprotokoll

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

Ein moderner agentischer LaTeX-Editor