github.com
h5i is a workspace for securing web applications through two approaches: finding vulnerabilities with AI agents and proving correctness with formal verification. It provides AI agents a toolkit for browser automation, HTTP traffic manipulation and reconnaissance, and includes h5i-app, an Axum-based Rust framework for verification with Lean 4.