midspiral/lemmafit

Make agents prove that their code is correct.

7 best points · 5 comments · 1 Hacker News post · 68 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Lemmafit: Make agents prove that their code is correct (7 points, 5 comments, by namin, 2026-03-08)