An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
Rust Updated 13 days ago 1 commits 669 stars
pulse-dev|Mirror: h5i-dev/h5i (⭐669)
13 days agoAbout
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
Readme
669 stars
66 forks