Search 2 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–2 of 2	Version	Findings	Description	Downloads	When
specodelic cargo	0.5.2	2 notes 2	Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it	117	2d 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