An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
Rust Updated about 1 month ago 1 commits 669 stars
pulse-dev|Mirror: h5i-dev/h5i (⭐669)
about 1 month 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