diff --git a/README.md b/README.md index a74e0c379..0e46c6553 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ tests GitHub stars release - release + release

**h5i** (pronounced *high-five*) is an Axum-based Rust web framework designed for formal verification with Lean 4 and optional GPU acceleration. It also provides integrated development infrastructure for browser automation, red-teaming, security regression testing, and sandboxed AI agents.