SereneCode – Formal verification framework for AI-generated Python code

(github.com) by doktorice | Apr 4, 2026 | 0 comments on HN