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

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

## インストール

```sh
sudo av install cargo:kani-verifier
```

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

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

- Cargo (100%):

```sh
cargo install kani-verifier
```

  証拠: local crates.io package metadata

## パッケージ情報

- **パッケージキー:** cargo:kani-verifier
- **パッケージマネージャ:** Cargo
- **パッケージマネージャページ:** <https://crates.io/crates/kani-verifier>
- **バージョン:** 0.67.0
- **ソース概要:** A bit-precise model checker for Rust.
- **ホームページ:** <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
- **生成日時:** 2026-08-03T19:37:03+00:00

## 実行可能ファイル

- cargo-kani (バイナリ): Declared by crates.io version metadata.
- kani (バイナリ): Declared by crates.io version metadata.

## インストール挙動

- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-03
- マネージャ版: 0.67.0

## セキュリティノート

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


## ソースデータベース詳細

- **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

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

- pacman - kani - 0.64.0-1: normalized package name match | Arch Linux sync databases: kani from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Bit-precise model checker for Rust | https://github.com/model-checking/kani


## ソース

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