h5i
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
- agentic-ai
- agentic-workflow
- claude-code
- ai-safety
- ai-security
- browser-automation
- security
- ctf
- web-security
- hacking
- red-team
- ai-hacking
- ethical-hacking
- offensive-security
- bug-bounty
- Stars
- 677
- Forks
- 66
- + today
- +1
- Created
- 6mo
Ranking data as of October 5, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4. It ranks #1856 on GitTiger, gaining +1 star on October 5, 2026 (UTC).
The project is written in Rust and has 66 forks. It was created 6mo ago.
Installation
git clone https://github.com/h5i-dev/h5i.git
cd h5i
# see README for setup