# 使用 Cargo 安装 kani-verifier

查看 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 的匹配本地密钥处理 manifest。Nucleus 软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 URL。


## 源数据库详情

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