# Installer kani-verifier avec Cargo

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de kani-verifier pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### Gestionnaires portables et de langages

- Cargo (100%):

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

  Preuve: local crates.io package metadata

## Faits du paquet

- **Clé du paquet:** cargo:kani-verifier
- **Gestionnaire de paquets:** Cargo
- **Page du gestionnaire de paquets:** <https://crates.io/crates/kani-verifier>
- **Version:** 0.67.0
- **Résumé source:** A bit-precise model checker for Rust.
- **Page d'accueil:** <https://github.com/model-checking/kani>
- **Dépôt:** <https://github.com/model-checking/kani>
- **Docs amont:** <https://model-checking.github.io/kani/>
- **Licence:** MIT OR Apache-2.0
- **Archive source:** <https://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate>
- **Publié:** 2026-01-16 17:11:13.686055+00
- **Dernière mise à jour:** 2026-01-16 17:11:13.686055+00
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

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

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 0.67.0

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour kani-verifier. Les métadonnées de paquet Nucleus restent publiées ici afin que la couverture future dispose d'une URL stable.


## Détails de la base source

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

## Autres enregistrements de gestionnaires de paquets

- 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
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph