GhrammR/the-janitor

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

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

Hacker News discussions

• Show HN: The Janitor – A 58MB Rust static analyzer to block AI-generated PR slop (3 points, 2 comments, by GhrammR, 2026-03-04)