Cargo · crates.io

r2smt-solver-port

Suspicious Publish Context

Why PkgRadar flagged 0.1.1

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.1.1`	Review	10	2026-08-11
`0.1.0`	Review	10	2026-08-11

Block this in CI

PkgRadar gates r2smt-solver-port (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem cargo [email protected]