Plugin
h5i
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
1 skill779
@h5i-devLast ship Oct 2026
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
@h5i-devRed-team a web application under authorization by driving pages, capturing the HTTP traffic…
@h5i-devAn opinionated library of Flows. Free. Open source. V1.
© 2026 Flowy
Built for Claude Code · Not affiliated with Anthropic