PyPI · pypi.org

copra-theorem-prover

Credential file access: matched "aws_access_key"

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`1.7.0`	Review	2	2026-05-31

Block this in CI

PkgRadar gates copra-theorem-prover (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem pypi copra-theorem-prover==1.7.0