安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install quint

local Homebrew formula metadata

Linux

Nix已验证 · 92%

nix profile install nixpkgs#quint

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

概览

软件包摘要

Core tool for the Quint specification language

项目链接

命令和别名

quint

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色风险 · 低置信度 · appliance

原因

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 1 个平台目标。
安装时包含 1 个运行时依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围	备注
`quint`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08

管理器版本0.32.0

管理器更新时间2026-07-05

本地数据OK

上游not checked

检测到的最新版本未检测到

https://quint-lang.org

信息Release/tag comparison is only available for GitHub repositories.https://quint-lang.orgnone 置信度

安装元数据

软件包元数据

软件包键	brew:quint
版本	0.32.0
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/quint
主页	https://quint-lang.org
仓库	https://github.com/informalsystems/quint
上游文档	https://quint-lang.org/docs
许可证	Apache-2.0
源码归档	https://registry.npmjs.org/@informalsystems/quint/-/quint-0.32.0.tgz
最后更新	2026-07-05T00:14:30+09:00
Pulse	updated
依赖	node
Bottle	可用 (于 all)
Homebrew post-install	未定义
服务	未声明

注册表事实

源数据库详情

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

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Nix95%

quint

nix profile install nixpkgs#quint

normalized package name match
匹配方式：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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

Combined YAML source

View the package source record on GitHub.

combined/quint.yml

使用的来源

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

使用 Homebrew, Nix 安装 quint