Cargo · crates.io

tlatools

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-11
`0.1.0`	Low risk	0	2026-08-11

Block this in CI

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

pkgradar gate --ecosystem cargo [email protected]