インストール

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

ポータブルおよび言語マネージャ

Cargo確認済み · 100%

cargo install kani-verifier

local crates.io package metadata

概要

パッケージ概要

A bit-precise model checker for Rust.

プロジェクトリンク

コマンドとエイリアス

cargo-kani
kani

セキュリティ状態

保護ツール対応はまだ見つかっていません

kani-verifier に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。

インストール挙動

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

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲	メモ
`cargo-kani`	バイナリ	cargo-installed executable	Declared by crates.io version metadata.
`kani`	バイナリ	cargo-installed executable	Declared by crates.io version metadata.

鮮度

バージョンと鮮度

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

ページ生成日2026-08-03

マネージャ版0.67.0

マネージャ更新日2026-01-16

ローカルデータ不明

上流利用不可

検出された最新未検出

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

インストールメタデータ

パッケージメタデータ

パッケージキー	cargo:kani-verifier
バージョン	0.67.0
パッケージマネージャ	Cargo
パッケージマネージャページ	https://crates.io/crates/kani-verifier
ホームページ	https://github.com/model-checking/kani
リポジトリ	https://github.com/model-checking/kani
上流ドキュメント	https://model-checking.github.io/kani/
ライセンス	MIT OR Apache-2.0
ソースアーカイブ	https://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate
最終更新	2026-01-16 17:11:13.686055+00
公開日	2026-01-16 17:11:13.686055+00
Bottle	未記録
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

Source Database	crates.io database dump
Crate ID	517,085
Crate Size	28,979
Edition	2024
Executable Intent	Intent public_cli Signals manifest declares a binary target
Has Lib	yes
Num Versions	69
Recent Download Window Days	90
Version ID	1,949,887

ソースデータベース一致

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

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

pacman95%

kani 0.64.0-1

Bit-precise model checker for Rust

https://github.com/model-checking/kani

sudo pacman -S kani

License: Apache-2.0 AND MIT
Architecture: x86_64
2 依存関係
2 提供
normalized package name match
一致条件: Kani Verifier

Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: kani from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

パッケージグラフ

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

ソース経路

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

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

使用ソース

crates.io package index
cross-ecosystem install command graph
external package-manager database matches
pkgdb category and tag curation

kani-verifier を Cargo でインストール