Command-line tool

quint

brew/quint

Checked 26 Oct 2026, 08:31 UTC · Still published on npm

Core tool for the Quint specification language

Website

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

26 Oct 2026, 08:31 UTC

Install it

Windows

npm install -g @informalsystems/quint

macOS

brew install quint
npm install -g @informalsystems/quint

Linux

npm install -g @informalsystems/quint

Related command-line tools

• cafeobj
  New generation algebraic specification and programming language
• ats2-postiats
  Programming language with formal specification features
• conventional_commits_linter
  A tooling and language agnostic utility to lint Git commits against the Conventional Commits specification.
• @glint/core
  A CLI for performing typechecking on Glimmer templates
• crystal
  Fast and statically typed, compiled language with Ruby-like syntax programming 编程 programming-language language 编程语言 语言
• tealdeer
  Very fast implementation of tldr in Rust rust cli foss cheatsheets guides tealdeer tldr
• tlrc
  Official tldr client written in Rust rust cli foss cheatsheets guides tldr
• powershell
  Command-line shell and scripting language cross-platform open-source powershell shell dotnet command-line pwsh

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents