Assura
io.github.assura-lang/assura
95
security score
Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
2.0
Security scan
Last scanned 2 hours ago — static analysis of the published manifest.
- lowManifest makes network requests.