A language server for the Quint specification language.
Install the latest published version from npm:
npm i @informalsystems/quint-language-server -g
There are currently three clients for this server:
- The Quint VSCode extension
- The Quint LSP client for Emacs
- A Neovim LSP client
(1) and (2) are capable of downloading and installing this server for you. (3) requires manual installation (for now).