Automic VaultAutomic Vault

cargo / rank 201

Install kani-verifier

A bit-precise model checker for Rust. Version 0.67.0 via Cargo; verified 2026-01-16.

Install commandSecurity notes

install

Install with Automic Vault

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

Portable and language managers

Cargoverified · 100%
cargo install kani-verifier

local crates.io package metadata

Platform notes

  • No package-specific platform notes were present.

overview

Package summary

A bit-precise model checker for Rust.

Commands and aliases

No executable aliases were found in the local package database.

security posture

No protected-tool coverage found yet

No matching local secret-handling manifest was found for kani-verifier. Nucleus package metadata is still published here so future coverage has a stable package URL.

Install behavior

  • No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

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

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-06-18
manager version0.67.0
manager updated2026-01-16
local dataunknown
upstreamnot available
latest detectednot detected
  • okNo freshness warnings were generated.

install metadata

Package metadata

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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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