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.
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.
"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
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.
Architecture and flowchart diagrams render from plain-text Mermaid source, updating as the file is edited — no separate export step.
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.
What it's actually built from.
Both repositories are public. The language server has no dependencies to speak of; the desktop shell is a working Electron prototype, not a mockup.