インストール

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

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

インストール挙動

Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`quint`	実行可能ファイル	インデックス済み実行可能ファイル	ローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03

マネージャ版0.32.0

マネージャ更新日2026-07-05

ローカルデータ不明

上流利用不可

検出された最新未検出

OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:quint
バージョン	0.32.0
パッケージマネージャ	Homebrew
ホームページ	https://quint-lang.org
最終更新	2026-07-05T00:14:30+09:00
Pulse	updated
Bottle	未記録
サービス	宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの 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
cross-ecosystem install command graph
external package-manager database matches
pkg.so package database
pkgdb category and tag curation

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