Lean-sudo: drop-in replacement with formally verified policy, env, and auth

(github.com) by gbacon | Oct 29, 2026 | 0 comments on HN