PyPI · pypi.org

itp-interface

Py Import Time Subprocess: subprocess call — process spawning.

Why PkgRadar flagged 1.7.0

Severity	Signal	Evidence
medium	Py Import Time Subprocess	subprocess call — process spawning. · itp_interface-1.7.0/src/itp_interface/coq_ser_api/__init__.py
medium	Remote Payload	matched "raw.githubusercontent.com" · itp_interface-1.7.0/src/itp_interface/main/install.py
medium	Remote Payload	matched "curl " · itp_interface-1.7.0/src/itp_interface/pisa/build.sh
medium	Remote Payload	matched "curl " · itp_interface-1.7.0/src/itp_interface/pisa/setup.sh

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`1.7.0`	High risk	34	2026-06-08
`1.6.0`	High risk	34	2026-05-31

Block this in CI

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

pkgradar gate --ecosystem pypi itp-interface==1.7.0