helgster77/serenecode

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

Hacker News discussions

• SereneCode – Formal verification framework for AI-generated Python code (1 points, 0 comments, by doktorice, 2026-04-04)