Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptionsgithub.com/savarin2 pointskurinikku3 months ago