A language server for research papers

Aurelius

Open a .tex file and get live diagnostics the moment you type — an undefined citation key is an unresolved symbol; a citation that doesn't resolve to a real work is a type error; an uncited claim is a linter warning.

Abstract

Every reference in the bibliography is checked against real scholarly indexes — OpenAlex, Crossref, arXiv, and Semantic Scholar — in that exact order, the same precision-first cascade a careful human editor would use. The desktop prototype shows that check happening: which index is being queried, right now, and what it found — not a spinner standing in for a black box.

The paper compiles for real, too. Run and Debug shells out to an actual LaTeX toolchain and renders the produced PDF inline, downloadable, with the compiler's own transcript underneath it.

Agent Activity panel showing a live citation verification cascade across OpenAlex, Crossref, arXiv, and Semantic Scholar
Fig. 1

Verification, live

"Verifying 'thakur2021beir'" — tracked step by step across the real cascade as each index actually answers. A source the chain never reaches, because an earlier one already matched, simply never lights up.1

Source and compiled PDF side by side, with the real toolchain transcript in the Debug Console
Fig. 2

The compiled paper

A real pdflatex/Tectonic pass, rendered inline. Undefined citations resolve to a visible (?) in the output — the same signal a real compile produces, not a simulated one.

Mermaid architecture diagram rendering live next to its source file
Fig. 3

Diagrams, in sync

Architecture and flowchart diagrams render from plain-text Mermaid source, updating as the file is edited — no separate export step.

Extensions marketplace panel showing built-in and catalogue entries
Fig. 4

A populated workspace

127 catalogue entries. Four are the real, working tools above.2 The rest are illustrative — shown as such in the panel itself, not just here.

Colophon

What it's actually built from.

EnginePython, standard-library only at the core
Transportpygls — Language Server Protocol over stdio
VerificationOpenAlex, Crossref, arXiv, Semantic Scholar
ShellElectron, React, TypeScript, Monaco Editor
Compilepdflatex/bibtex, or Tectonic — real subprocess
Tests200+, hermetic — no network required to run them
  1. Google Scholar isn't in this list on purpose — it has no public API and blocks scraping, so nothing here queries it. What's shown is the four sources actually reached.
  2. Bibliography, Submission Gate, Architecture & Diagrams, Agent Activity.

Read the source, or run it yourself.

Both repositories are public. The language server has no dependencies to speak of; the desktop shell is a working Electron prototype, not a mockup.