Open source repositories tagged with #security-automaion, ranked by health score.
Build, hack, and verify web apps. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
