h5i-dev/h5i

h5i

✅ Recently maintained

An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.

888Stars
77Forks
+227-day stars

Rust · Apache-2.0 · Last push 2026-11-03

Official repository & installation ↗
ai-safetyai-securityctfweb-securityhackingred-teamethical-hackingoffensive-securitybug-bountyformal-verification

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2026-03-092026-11-03
View historical data
DateStars
2026-10-05674
2026-10-06675
2026-10-07690
2026-10-08691
2026-10-09694
2026-10-10701
2026-10-11735
2026-10-12765
2026-10-13767
2026-10-14775
2026-10-15777
2026-10-16779
2026-10-17782
2026-10-18784
2026-10-19788
2026-10-20799
2026-10-21802
2026-10-22803
2026-10-23803
2026-10-24804
2026-10-25804
2026-10-26856
2026-10-27883
2026-10-28884
2026-10-29884
2026-10-30885
2026-10-31887
2026-11-01887
2026-11-02887
2026-11-03888

Get the project

git clone https://github.com/h5i-dev/h5i.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

shannon

Shannon is an AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabi

★ 51,011strix

Open-source AI penetration testing tool that finds and fixes your app's vulnerabilities.

★ 73,457h4cker

This repository is maintained by Omar Santos (@santosomar) and includes thousands of resources related to ethical hacking, bug bounties, digital forensics and i

★ 29,998