Portable and language managers
Cargoverified · 100%
cargo install kani-verifierlocal crates.io package metadata
安装
使用 Automic Vault 安装
Automic Vault
sudo av install cargo:kani-verifier软件包管理器来源
平台说明
- 没有特定于此软件包的平台说明。
概览
软件包摘要
A bit-precise model checker for Rust.
主页
命令和别名
本地软件包数据库中没有找到可执行别名。
安全态势
尚未找到受保护工具覆盖
没有找到 kani-verifier 的匹配本地密钥处理 manifest。Nucleus 软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 URL。
Install behavior
- No Homebrew bottle metadata was recorded.
建议审查
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
已安装的可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
cargo-kani | binary | cargo-installed executable | Declared by crates.io version metadata. |
kani | binary | cargo-installed executable | Declared 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 key | cargo:kani-verifier |
|---|---|
| Version | 0.67.0 |
| Package manager | Cargo |
| Package manager page | https://crates.io/crates/kani-verifier |
| Homepage | https://github.com/model-checking/kani |
| Repository | https://github.com/model-checking/kani |
| Upstream docs | https://model-checking.github.io/kani/ |
| License | MIT OR Apache-2.0 |
| Source archive | https://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate |
| Last updated | 2026-01-16 17:11:13.686055+00 |
| Published | 2026-01-16 17:11:13.686055+00 |
| SHA-256 | d6225a7ec13037e984f6bebdda33d34390e643a1cd2a4522cb5d5e8e6ed85e2b |
| Bottle | not recorded |
| Service | none declared |
registry facts
Source database details
| Source Database | crates.io database dump |
|---|---|
| Crate ID | 517,085 |
| Crate Size | 28,979 |
| Edition | 2024 |
| Has Lib | yes |
| Num Versions | 69 |
| Recent Download Window Days | 90 |
| Version ID | 1,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
来源线索
由仓库数据生成
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
使用的来源
- crates.io package index
- cross-ecosystem install command graph
- external package-manager database matches