PyPI · pypi.org

lean-interact

Remote Payload: matched "curl "

Why PkgRadar flagged 0.11.4

Severity	Signal	Evidence
medium	Remote Payload	matched "curl " · lean_interact-0.11.4/src/lean_interact/utils.py

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`0.11.4`	Review	6	2026-06-06

Block this in CI

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

pkgradar gate --ecosystem pypi lean-interact==0.11.4