Un moderno editor agéntico de L^aT_eX

Cambio 1 Comentar

En L^aT_eX, ¿por qué leer código L^aT_eX? ¡Solo leo el PDF! 😎

main.tex · línea 6

En \LaTeX{}, leo¿por qué leer código \LaTeX{} y busco en? ¡Solo leo el PDF 😭! 😎

$ npm install -g papilot

Versión 0.9.0 · Gratuito y de código abierto · Licencia MIT

Agentes de programación compatibles

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

Lo que importa en un artículo es la idea y la historia

La redacción y la maquetación no deberían restarles atención.

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

Antes de la IA

Escribir L^aT_eX a mano

Código fuente a la izquierda, vista previa a la derecha, cada línea escrita a mano.

IA añadida al editor

Comprobar diferencias de L^aT_eX

La IA edita el código fuente. Cuando las diferencias se acumulan, dejan de leerse y la IA decide.

Papilot

Revisar el PDF

La IA edita el código fuente y cada cambio se revisa en la página maquetada.

01Anotar

Señala qué debe cambiar

Selecciona una oración, o enmarca una ecuación o una figura, y escribe qué debe cambiar. El agente recibe las líneas exactas del código fuente, sin que tengas que saber en qué archivo están.

El sistema de tipos incrementa notablemente la expresividad del lenguaje mientras mantiene decidible la comprobación de tipos.

=+(4)

2 anotaciones en el PDF 1Página 2 · main.tex:24

Dilo de forma más sencilla

2Página 2 · main.tex:31

Mueve la leyenda arriba a la derecha

12 Claude

¿Qué debe cambiar aquí?

02Revisión

Cada cambio, decidido uno por uno

Un artículo se escribe para ser leído, así que cada cambio tiene que ser el adecuado. Por muchos que haya, cada uno se muestra maquetado y nada que no haya sido aceptado llega al artículo. Si alguno aún no está bien, coméntalo y el agente lo corregirá.

3.2

Cambio 1

Antes

~~El tipo de λx. e está determinado por los tipos de x y su cuerpo e.~~

Después

Si e tiene tipo τ₂ en el contexto Γ, x : τ₁, entonces λx. e tiene tipo τ₁ → τ₂.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

Comentarios de la revisión · 1 comentario

Escribe esto como una regla de inferencia

1 actualización de revisión aún no enviadaEnviar comentarios

Codex

¿Qué debe cambiar el agente aquí?

03Confirmar

Cada cambio queda registrado

Cada tarea se ejecuta en su propio árbol de trabajo de Git, y confirmar y subir los cambios aceptados es un paso independiente. Cada cambio en el artículo permanece en su historial de Git.

3.2

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

main

1 archivo preparado

main.tex+3 −1

Mensaje de confirmación

Confirmar 1 archivo

Escribir T-Abs como una regla3f9c2a1

ecce73e

91b07d4

5a2e8c0

SubirSubido al repositorio remoto.

Obtén Papilot

La aplicación de escritorio funciona en macOS y Linux, y la versión de línea de comandos se instala desde npm (Node.js 22.22+). Ambas usan Git y tu propia distribución de TeX (MacTeX o TeX Live). Papilot es gratuito y de código abierto bajo la Licencia MIT.

Configuración de un agente Historial de cambios

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 moderno editor agéntico de LaTeX