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

2026-10-29来源 Hacker News NewEnglish

Article URL: https://github.com/adamgall/lean-sudo

Comments URL: https://news.ycombinator.com/item?id=50289800

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/lean-sudo-drop-in-replacement-with-formally-verified-policy-env-and-auth-f5aec2.html

相关文章