INVARA
io.github.Jujitae/invara
95
security score
Independent verification that a change kept its declared constraints. No model in the verdict path.
Security scan
Last scanned 2 hours ago — static analysis of the published manifest.
- lowManifest makes network requests.