The short version
A TLA+ language server built to add editor support, including Neovim.
From the HackerLinks archive
TLA+ Language Server Protocol
A TLA+ language server built to add editor support, including Neovim.
At a glance:
First seen:2026-08-23
Last seen:2026-08-23
Times seen:1
Website:github.com
Why it caught our attention
Its user said the quickly assembled server works shockingly well.
Where it surfaced on Hacker News
2026-08-23
“I couldn't find good TLA+ bindings for Neovim, so I got Claude to hack together an LSP server for it [1]. It works shockingly well”
tombert · recommendation · first hand use
Direct HN comment
Rust Glancer: Rust LSP using 100x less RAM