Search 1 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–1 of 1	Version	Findings	Description	Downloads	When
aprender-contracts cargo	0.70.2	clean	Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels	36K	11h ago