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
lean-rs-host cargo		not built 0.9.3 did not build	Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services,…	1.3K	9h ago
olean-export cargo	0.3.0	clean	Optimized library for reading Lean .olean files directly emitting lean4export-compatible NDJSON for external kernel checkers.	91	1d ago