pkg.soopen package index

cargo / rang 155

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.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

Gestionnaires portables et de langages

Cargovérifié · 100%
cargo install kani-verifier

local crates.io package metadata

aperçu

Résumé du paquet

A bit-precise model checker for Rust.

Commandes et alias

  • cargo-kani
  • kani

posture de sécurité

Aucune couverture d'outil protégé trouvée pour le moment

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.

Comportement d'installation

  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
cargo-kanibinairecargo-installed executableDeclared by crates.io version metadata.
kanibinairecargo-installed executableDeclared by crates.io version metadata.

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-08-03
version du gestionnaire0.67.0
gestionnaire mis à jour2026-01-16
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetcargo:kani-verifier
Version0.67.0
Gestionnaire de paquetsCargo
Page du gestionnaire de paquetshttps://crates.io/crates/kani-verifier
Page d'accueilhttps://github.com/model-checking/kani
Dépôthttps://github.com/model-checking/kani
Docs amonthttps://model-checking.github.io/kani/
LicenceMIT OR Apache-2.0
Archive sourcehttps://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate
Dernière mise à jour2026-01-16 17:11:13.686055+00
Publié2026-01-16 17:11:13.686055+00
Bouteillenon enregistré
Serviceaucun déclaré

faits du registre

Détails de la base source

Source Databasecrates.io database dump
Crate ID517,085
Crate Size28,979
Edition2024
Executable Intent
Intent
public_cli
Signals
  • manifest declares a binary target
Has Libyes
Num Versions69
Recent Download Window Days90
Version ID1,949,887

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
  • 2 fournit
  • normalized package name match
  • Correspondance par : Kani Verifier
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: kani from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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