open-index/open-npm huggingface dataset:
npm package: @informalsystems/quint-language-server
Description: Language Server for the Quint specification language
Author: Informal Systems
Latest version: 0.19.0

# Quint Language Server

[![npm (scoped)](https://img.shields.io/npm/v/@informalsystems/quint-language-server)](https://www.npmjs.com/package/@informalsystems/quint-language-server)

A language server for the [Quint specification language](https://github.com/informalsystems/quint).

## Installation

Install the [latest published version from npm](https://www.npmjs.com/package/@informalsystems/quint-language-server):

```
npm i @informalsystems/quint-language-server -g
```

## Usage

There are currently three clients for this server:

1. The Quint [VSCode extension](https://marketplace.visualstudio.com/items?itemName=informal.quint-vscode)
2. The [Quint LSP client](https://github.com/informalsystems/quint/blob/main/editor-plugins/emacs/README.md) for Emacs
3. A [Neovim LSP client](https://github.com/informalsystems/quint/blob/main/editor-plugins/vim/README.md)

(1) and (2) are capable of downloading and installing this server for you. (3) requires manual installation (for now).