Quick previews VSCode plugin vscode-2023-03-10.mp4 Install the Quint VSCode Plugin from the VisualStudio Marketplace. Command line tools quint-cli-20230310.mp4 Install the Quint CLI from npm.