io.github.Jujitae/invara

INVARA

Independent verification that a change kept its declared constraints. No model in the verdict path.

0.3.0
Version
pypi
Transport
—
Tools

Security review

Review passed

Reviewed 1d ago.

  • metadata: scanned
  • packages: 1 checked

No findings.