# kani-verifier mit Cargo installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für kani-verifier in AI-Agent-Workflows.

## Installation

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

Weitere Installationsbefehle:

### Portable und Sprach-Paketmanager

- Cargo (100%):

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

  Evidenz: local crates.io package metadata

## Paketfakten

- **Paketschlüssel:** cargo:kani-verifier
- **Paketmanager:** Cargo
- **Paketmanager-Seite:** <https://crates.io/crates/kani-verifier>
- **Version:** 0.67.0
- **Quellzusammenfassung:** A bit-precise model checker for Rust.
- **Homepage:** <https://github.com/model-checking/kani>
- **Repository:** <https://github.com/model-checking/kani>
- **Upstream-Dokumentation:** <https://model-checking.github.io/kani/>
- **Lizenz:** MIT OR Apache-2.0
- **Quellarchiv:** <https://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate>
- **Veröffentlicht:** 2026-01-16 17:11:13.686055+00
- **Zuletzt aktualisiert:** 2026-01-16 17:11:13.686055+00
- **Generiert:** 2026-08-03T19:37:03+00:00

## Executables

- cargo-kani (Binärdatei): Declared by crates.io version metadata.
- kani (Binärdatei): Declared by crates.io version metadata.

## Installationsverhalten

- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-03
- Manager-Version: 0.67.0

## Sicherheitshinweise

Für kani-verifier wurde kein passendes lokales Secret-Handling-Manifest gefunden. Nucleus-Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.


## Details aus der Quelldatenbank

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

## Andere Paketmanager-Einträge

- 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


## Quellen

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