Show HN: Let formal specs test AI implementations

(github.com) by mrasu | Nov 1, 2026 | 0 comments on HN