Cargo · crates.io

zeno-fcis-formal-tools

Suspicious Publish Context

Why PkgRadar flagged 1.0.0-rc.3

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)
`1.0.0-rc.3`	Review	10	2026-07-30

Block this in CI

PkgRadar gates zeno-fcis-formal-tools (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem cargo [email protected]