Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions: Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptio