# 使用 Homebrew, Nix 安装 quint

查看 quint 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:quint
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install quint
```

  证据: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#quint
```

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

## 软件包事实

- **软件包键:** brew:quint
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/quint>
- **版本:** 0.32.0
- **来源摘要:** Core tool for the Quint specification language
- **主页:** <https://quint-lang.org>
- **上游文档:** <https://quint-lang.org>
- **许可证:** Apache-2.0
- **源码归档:** <https://registry.npmjs.org/@informalsystems/quint/-/quint-0.32.0.tgz>
- **最后更新:** 2026-07-05T00:14:30+09:00
- **已生成:** 2026-08-04T22:13:35+00:00

## 可执行文件

- quint (cli)
- quint (别名)

## 依赖

- node

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 all

## 版本和新鲜度

- 页面生成时间: 2026-08-04
- 管理器版本: 0.32.0
- 管理器更新时间: 2026-07-05
- 本地数据: OK
- 上游仓库: https://quint-lang.org
- 信息: Release/tag comparison is only available for GitHub repositories.

## 安全说明

narrow executable package without higher-risk signals.

- **Geiger 风险:** 绿色 / 低
- narrow executable package without higher-risk signals

## 源数据库详情

- **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

## 其他软件包管理器记录

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


## 相关链接

- [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/zh-hans/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://pkg.so/zh-hans/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://pkg.so/zh-hans/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [node](https://pkg.so/zh-hans/brew/node/) - Runtime dependency declared by Homebrew.
- [alive2](https://pkg.so/zh-hans/brew/alive2/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [proof-general](https://pkg.so/zh-hans/brew/proof-general/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [dafny](https://pkg.so/zh-hans/brew/dafny/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [sby](https://pkg.so/zh-hans/brew/sby/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [stp](https://pkg.so/zh-hans/brew/stp/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [cbmc](https://pkg.so/zh-hans/brew/cbmc/) - Shares pkgdb curated category or tags: cli, developer-tools, model-checking.
- [spin](https://pkg.so/zh-hans/brew/spin/) - Shares pkgdb curated category or tags: cli, developer-tools, model-checking.
- [cryptol](https://pkg.so/zh-hans/brew/cryptol/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [civl](https://pkg.so/zh-hans/brew/civl/) - Local package facts share a topical domain. Shared terms: checking, cli, developer, developer-tools, formal.

## Combined YAML source

View the package source record on GitHub. [combined/quint.yml](https://github.com/mxcl/pkgdb/blob/main/combined/quint.yml)


## 来源

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