h5i-dev/h5i
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
669 stars66forks12issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
44 of 56outside PRs merged (79%)
checked