Search 5 packages

Found detections shipping vulnerabilities yanked

Build behaviour fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry

Packages1–5 of 5	Version	Findings	Description	Downloads	When
verus_state_machines_macros cargo	0.0.0-2026-10-11-0230	clean	Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines	431K	15h ago
verus_builtin cargo	0.0.0-2026-10-11-0230	clean	Verus Builtins: Rust definitions for core constructs in Verus	420K	15h ago
cordis-verus cargo	0.1.0	clean	Typed Rust Cordis runtime backed by a verified lifecycle kernel		4h ago
vstd cargo	0.0.0-2026-10-11-0230	clean	Verus Standard Library: Useful specifications and lemmas for verifying Rust code	431K	15h ago
cordis-kernel cargo	0.1.0	clean	Executable Verus-verified Cordis lifecycle kernel		4h ago