Cargo · crates.io

lemma-install

Suspicious Publish Context

Why PkgRadar flagged 0.2.0

Severity	Signal	Evidence
medium	Suspicious Publish Context	—

Showing signal labels only. Sign in to view the exact matched indicators for each finding.

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`0.2.0`	Review	10	2026-08-03

Block this in CI

PkgRadar gates lemma-install (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem cargo [email protected]