Show HN: Provably secure vibe coding is now a thing

6 points | by SaltNHash 2 days ago