Automic VaultAutomic Vault

cargo / 順位 201

kani-verifier をインストール

kani-verifier のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

Automic Vault でインストール

Automic Vault
AV をダウンロード
sudo av install cargo:kani-verifier

Portable and language managers

Cargoverified · 100%
cargo install kani-verifier

local crates.io package metadata

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

A bit-precise model checker for Rust.

コマンドとエイリアス

ローカルパッケージデータベースに実行可能エイリアスは見つかりませんでした。

セキュリティ状態

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

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

Install behavior

  • No Homebrew bottle metadata was recorded.

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
cargo-kanibinarycargo-installed executableDeclared by crates.io version metadata.
kanibinarycargo-installed executableDeclared by crates.io version metadata.

鮮度

バージョンと鮮度

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

ページ生成日2026-06-18
マネージャ版0.67.0
マネージャ更新日2026-01-16
ローカルデータunknown
上流not available
検出された最新not detected
  • okNo freshness warnings were generated.

インストールメタデータ

パッケージメタデータ

Package keycargo:kani-verifier
Version0.67.0
Package managerCargo
Package manager pagehttps://crates.io/crates/kani-verifier
Homepagehttps://github.com/model-checking/kani
Repositoryhttps://github.com/model-checking/kani
Upstream docshttps://model-checking.github.io/kani/
LicenseMIT OR Apache-2.0
Source archivehttps://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate
Last updated2026-01-16 17:11:13.686055+00
Published2026-01-16 17:11:13.686055+00
SHA-256d6225a7ec13037e984f6bebdda33d34390e643a1cd2a4522cb5d5e8e6ed85e2b
Bottlenot recorded
Servicenone declared

registry facts

Source database details

Source Databasecrates.io database dump
Crate ID517,085
Crate Size28,979
Edition2024
Has Libyes
Num Versions69
Recent Download Window Days90
Version ID1,949,887

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

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 dependencies
  • 2 provides
  • normalized package name match
  • Matched by: 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