현대적인 에이전트 기반 L^aT_eX 편집기

변경 1 의견

L^aT_eX 쓸 때 왜 L^aT_eX 소스 읽나? 그냥 PDF만 본다! 😎

main.tex · 6행

\LaTeX{} 쓸 때 늘왜 \LaTeX{} 소스 읽고나? 그냥 PDF에서 찾는다 😭만 본다! 😎

$ npm install -g papilot

버전 0.9.0 · 무료 및 오픈 소스 · MIT 라이선스

지원하는 코딩 에이전트

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

논문에서 중요한 것은 아이디어와 스토리입니다

문구 수정과 레이아웃 작업에 주의를 빼앗겨서는 안 됩니다.

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

AI 도입 이전

수작업으로 L^aT_eX 작성

왼쪽에는 소스, 오른쪽에는 미리보기를 두고 모든 줄을 직접 입력했습니다.

편집기에 추가된 AI

L^aT_eX 변경 내역 확인

AI가 소스를 편집합니다. 하지만 변경 내역이 쌓이면 결국 읽지 않게 되고 AI가 모든 것을 결정합니다.

Papilot

PDF에서 검토

AI가 소스를 편집하고, 각 변경 사항은 조판된 페이지 위에서 검토합니다.

01주석 달기

바꿀 곳을 바로 지정하세요

문장을 선택하거나 수식 또는 그림을 박스로 지정한 뒤 수정할 내용을 적으세요. 어느 파일에 있는지 몰라도 에이전트가 정확한 소스 줄을 전달받습니다.

타입 시스템은 타입 검사의 결정 가능성을 유지하면서 언어의 표현력을 현저히 높인다.

=+(4)

PDF의 주석 2개 12페이지 · main.tex:24

더 평이하게 써 주세요

22페이지 · main.tex:31

범례를 오른쪽 위로 옮겨 주세요

12 Claude

여기를 어떻게 수정할까요?

02검토

모든 변경 사항을 하나씩 직접 결정

논문은 읽히기 위해 쓰이므로 모든 변경 사항이 정확해야 합니다. 변경 사항이 아무리 많아도 각각 조판된 형태로 표시되며, 수락하지 않은 내용은 논문에 반영되지 않습니다. 아직 마음에 들지 않는 부분이 있다면 의견을 남기세요. 에이전트가 다시 수정합니다.

3.2

변경 1

변경 전

~~λx. e의 타입은 x와 그 본문 e의 타입에 의해 결정된다.~~

변경 후

문맥 Γ, x : τ₁에서 e가 τ₂ 타입을 가지면, λx. e는 τ₁ → τ₂ 타입을 가진다.Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

검토 피드백 · 의견 1개

여기는 추론 규칙으로 써 주세요

아직 전송되지 않은 검토 업데이트 1개피드백 보내기

Codex

에이전트가 여기를 어떻게 수정할까요?

03커밋

모든 변경 사항을 기록으로 보존

각 작업은 고유한 Git 작업 트리에서 실행되며, 수락된 변경 사항을 커밋하고 푸시하는 과정은 별도의 단계로 진행됩니다. 논문의 모든 변경 사항은 Git 기록에 남습니다.

3.2

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

main

파일 1개 스테이징됨

main.tex+3 −1

커밋 메시지

파일 1개 커밋

T-Abs를 규칙으로 작성3f9c2a1

ecce73e

91b07d4

5a2e8c0

푸시원격 저장소에 푸시되었습니다.

Papilot 받기

데스크톱 앱은 macOS 및 Linux에서 실행되며, 명령줄 버전은 npm(Node.js 22.22+)에서 설치할 수 있습니다. 두 버전 모두 Git과 사용자의 TeX 배포판(MacTeX 또는 TeX Live)을 사용합니다. Papilot은 MIT 라이선스에 따라 제공되는 무료 오픈 소스입니다.

에이전트 설정하기 변경 로그

터미널

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

현대적인 에이전트 기반 LaTeX 편집기