Show HN: Lemmafit: Make agents prove that their code is correctgithub.com/midspiral7 pointsnamin4 months ago