pkg.soopen package index

cargo / Rang 155

kani-verifier mit Cargo installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

Portable und Sprach-Paketmanager

Cargoverifiziert · 100%
cargo install kani-verifier

local crates.io package metadata

Überblick

Paketzusammenfassung

A bit-precise model checker for Rust.

Befehle und Aliase

  • cargo-kani
  • kani

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.

Installationsverhalten

  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

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-kaniBinärdateicargo-installed executableDeclared by crates.io version metadata.
kaniBinärdateicargo-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-08-03
Manager-Version0.67.0
Manager aktualisiert2026-01-16
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselcargo:kani-verifier
Version0.67.0
PaketmanagerCargo
Paketmanager-Seitehttps://crates.io/crates/kani-verifier
Homepagehttps://github.com/model-checking/kani
Repositoryhttps://github.com/model-checking/kani
Upstream-Dokumentationhttps://model-checking.github.io/kani/
LizenzMIT OR Apache-2.0
Quellarchivhttps://static.crates.io/crates/kani-verifier/kani-verifier-0.67.0.crate
Zuletzt aktualisiert2026-01-16 17:11:13.686055+00
Veröffentlicht2026-01-16 17:11:13.686055+00
Bottlenicht erfasst
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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
  • pkgdb category and tag curation