2
Repos
632
Stars
62
Forks
2
Watchers
Repositories (2)
h5i
h5i-dev/h5i
Rust
Fast, security-first headless browser for AI agents. Built for automation, red teaming, web testing, and scraping, with direct HTTP traffic control and auditable sessions. Pure Rust, no Chromium or V8.
629
62
h5i-app-bench
h5i-dev/h5i-app-bench
Lean
Can AI agents formally verify real-world Rust soure codes with Lean4?
3
0