PyPI · pypi.org

gramforge

Remote Payload: matched "github.com/vprover/vampire/releases/download"

Why PkgRadar flagged 1.0.10

Severity	Signal	Evidence
medium	Remote Payload	matched "github.com/vprover/vampire/releases/download" · gramforge-1.0.10/src/gramforge/solver_utils/tptp.py

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`1.0.12`	Low risk	0	2026-06-12
`1.0.11`	Low risk	0	2026-06-01
`1.0.10`	Review	12	2026-05-27

Block this in CI

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

pkgradar gate --ecosystem pypi gramforge==1.0.10