install

Additional install commands

macOS

Homebrewverified · 100%

brew install quint

local Homebrew formula metadata

Linux

Nixverified · 92%

nix profile install nixpkgs#quint

nixpkgs package indexes · pkgs/by-name/qu/quint/package.nix · source: api.github.com

overview

Package summary

Core tool for the Quint specification language

Project links

Commands and aliases

quint

security posture

Risk level: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

narrow executable package without higher-risk signals

Signals

metadata:no-higher-risk-signals

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 1 platform targets.
Installs with 1 runtime dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

Command	Kind	Exposure	Note
`quint`	cli	global executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08

manager version0.32.0

manager updated2026-07-05

local dataok

upstreamnot checked

latest detectednot detected

https://quint-lang.org

infoRelease/tag comparison is only available for GitHub repositories.https://quint-lang.orgnone confidence

install metadata

Package metadata

Package key	brew:quint
Version	0.32.0
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/quint
Homepage	https://quint-lang.org
Repository	https://github.com/informalsystems/quint
Upstream docs	https://quint-lang.org/docs
License	Apache-2.0
Source archive	https://registry.npmjs.org/@informalsystems/quint/-/quint-0.32.0.tgz
Last updated	2026-07-05T00:14:30+09:00
Pulse	updated
Dependencies	node
Bottle	available (on all)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	quint
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

quint

nix profile install nixpkgs#quint

normalized package name match
Matched by: Quint

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/qu/quint/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/quint.yml

Used sources

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

Install quint with Homebrew, Nix