# Install kani-verifier

A bit-precise model checker for Rust. Version 0.67.0 via Cargo; verified 2026-01-16.

## Install

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

Additional install commands:

### Portable and language managers

- Cargo (100%):

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

  Evidence: local crates.io package metadata

## Package Facts

- **Package key:** cargo:kani-verifier
- **Package manager:** Cargo
- **Package manager URL:** <https://crates.io/crates/kani-verifier>
- **Version:** 0.67.0
- **Source summary:** A bit-precise model checker for Rust.
- **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>
- **Published:** 2026-01-16 17:11:13.686055+00
- **Last updated:** 2026-01-16 17:11:13.686055+00
- **Generated:** 2026-06-18T16:49:02+00:00

## Executables

- cargo-kani (binary): Declared by crates.io version metadata.
- kani (binary): Declared by crates.io version metadata.

## Install Behavior

- Bottle: not available

## Freshness

- Page generated: 2026-06-18
- Package-manager version: 0.67.0

## Security Notes

No matching local secret-handling manifest was found for kani-verifier. Nucleus package metadata is still published here so future coverage has a stable package URL.


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

## Other Package-Manager Records

- 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


## Sources

- crates.io package index
- external package-manager database matches
- cross-ecosystem install command graph