インストール

追加のインストールコマンド

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.org信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー	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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

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

quint を Homebrew, Nix でインストール