Um moderno editor agêntico de L^aT_eX

Alteração 1 Comentar

Escrevendo L^aT_eX, por que ler código L^aT_eX? Só leio o PDF! 😎

main.tex · linha 6

Escrevendo \LaTeX{}, precisopor que ler código \LaTeX{} e vasculhar? Só leio o PDF 😭! 😎

$ npm install -g papilot

Versão 0.9.0 · Gratuito e de código aberto · Licença MIT

Agentes de programação compatíveis

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

O que importa em um artigo é a ideia e a história

Reformulações e layout não deveriam desviar a atenção delas.

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 da IA

Escrevendo L^aT_eX à mão

Código-fonte à esquerda, pré-visualização à direita, cada linha digitada à mão.

IA adicionada ao editor

Verificando diffs de L^aT_eX

A IA edita o código-fonte. Quando os diffs se acumulam, deixam de ser lidos e a IA decide.

Papilot

Revisando o PDF

A IA edita o código-fonte, e cada alteração é revisada na página diagramada.

01Anotar

Aponte o que deve mudar

Selecione uma frase, ou enquadre uma equação ou figura, e escreva o que deve mudar. O agente recebe as linhas exatas do código-fonte, sem que você precise saber em qual arquivo estão.

O sistema de tipos aumenta significativamente a expressividade da linguagem, mantendo a verificação de tipos decidível.

=+(4)

2 anotações no PDF 1Página 2 · main.tex:24

Diga isso de forma mais simples

2Página 2 · main.tex:31

Mova a legenda para o canto superior direito

12 Claude

O que deve mudar aqui?

02Revisão

Cada alteração, decidida uma a uma

Um artigo é escrito para ser lido, por isso cada alteração precisa estar certa. Não importa quantas sejam, cada uma é exibida diagramada, e nada que não tenha sido aceito chega ao artigo. Se alguma ainda não estiver certa, comente nela e o agente a revisa.

3.2

Alteração 1

Antes

~~O tipo de λx. e é determinado pelos tipos de x e de seu corpo e.~~

Depois

Se e tem tipo τ₂ no contexto Γ, x : τ₁, então λx. e tem tipo τ₁ → τ₂.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

Feedback da revisão · 1 comentário

Escreva isto como uma regra de inferência

1 atualização de revisão ainda não enviadaEnviar feedback

Codex

O que o agente deve mudar aqui?

03Commit

Cada alteração registrada

Cada tarefa é executada em sua própria árvore de trabalho do Git, e fazer commit e push das alterações aceitas é uma etapa separada. Cada alteração no artigo permanece no histórico do Git.

3.2

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

main

1 arquivo preparado

main.tex+3 −1

Mensagem de commit

Fazer commit de 1 arquivo

Escrever T-Abs como uma regra3f9c2a1

ecce73e

91b07d4

5a2e8c0

Fazer pushPush realizado para o repositório remoto.

Baixe o Papilot

O aplicativo para desktop funciona no macOS e no Linux, e a versão de linha de comando é instalada via npm (Node.js 22.22+). Ambos usam o Git e a sua própria distribuição TeX (MacTeX ou TeX Live). O Papilot é gratuito e de código aberto sob a Licença MIT.

Configurando um agente Histórico de alterações

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

Um moderno editor agêntico de LaTeX