Language Server Protocol implementation for TLA+, targeting Neovim. Sort of.
I didn't code this by hand. I bothered Claude to do it. If you have a problem with that then that's fine, don't use this.
I have strong opinions on committing AI generated code, so instead I am just giving you the prompt I used. If you want the working code, it is in releases.
The license for this prompt is GPLv3.