Automic VaultAutomic Vault

cargo / Rang 201

kani-verifier installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Mit Automic Vault installieren

Automic Vault
AV herunterladen
sudo av install cargo:kani-verifier

Portable and language managers

Cargoverified · 100%
cargo install kani-verifier

local crates.io package metadata

Plattformhinweise

  • Es waren keine paketspezifischen Plattformhinweise vorhanden.

Überblick

Paketzusammenfassung

A bit-precise model checker for Rust.

Befehle und Aliase

In der lokalen Paketdatenbank wurden keine Executable-Aliase gefunden.

Sicherheitslage

Noch keine Protected-Tool-Abdeckung gefunden

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.

Install behavior

  • No Homebrew bottle metadata was recorded.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
cargo-kanibinarycargo-installed executableDeclared by crates.io version metadata.
kanibinarycargo-installed executableDeclared by crates.io version metadata.

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-06-18
Manager-Version0.67.0
Manager aktualisiert2026-01-16
lokale Datenunknown
Upstreamnot available
neueste erkannte Versionnot detected
  • okNo freshness warnings were generated.

Installationsmetadaten

Paketmetadaten

Package keycargo:kani-verifier
Version0.67.0
Package managerCargo
Package manager pagehttps://crates.io/crates/kani-verifier
Homepagehttps://github.com/model-checking/kani
Repositoryhttps://github.com/model-checking/kani
Upstream docshttps://model-checking.github.io/kani/
LicenseMIT OR Apache-2.0
Source archivehttps://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate
Last updated2026-01-16 17:11:13.686055+00
Published2026-01-16 17:11:13.686055+00
SHA-256d6225a7ec13037e984f6bebdda33d34390e643a1cd2a4522cb5d5e8e6ed85e2b
Bottlenot recorded
Servicenone declared

registry facts

Source database details

Source Databasecrates.io database dump
Crate ID517,085
Crate Size28,979
Edition2024
Has Libyes
Num Versions69
Recent Download Window Days90
Version ID1,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
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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

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