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
tla-checker cargo	0.23.3	4 vulnerabilities 4	A TLA+ model checker written in Rust	2.6K	1d ago
aprender-verify cargo	0.70.2	clean	A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework	574	6h ago
lungo cargo	1.88.0	clean	Runtime and facade types for Rust code generated from Lean by lungo-build	113	13h ago
lungo-build cargo	1.88.0	clean	Compiles Lean projects into Rust at Cargo build time	61	13h ago
tla-mc cargo	0.1.1	clean	A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC	16	2h ago