pkg.soopen package index

cargo / rank 155

Install kani-verifier with Cargo

A bit-precise model checker for Rust. Version 0.67.0 via Cargo; verified 2026-01-16. Also installable with pacman: sudo pacman -S kani.

Install commandSecurity notes

install

Additional install commands

Portable and language managers

Cargoverified · 100%
cargo install kani-verifier

local crates.io package metadata

overview

Package summary

A bit-precise model checker for Rust.

Commands and aliases

  • cargo-kani
  • kani

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-08-03
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
Bottlenot recorded
Servicenone declared

registry facts

Source database details

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 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
  • pkgdb category and tag curation