janitor-security/the-janitor

Rust static-analysis security research platform for IFDS, Z3/Kani proof obligations, exploit-witness synthesis, and post-quantum provenance.

1 best points · 1 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub

Hacker News discussions

• I built an AI vulnerability scanner with Claude and Codex. It failed (1 points, 1 comments, by GhrammR, 2026-05-18)