Lean
2026.06.15
devops
「秘密が漏れない」を Lean で証明して CI ゲートにした Rust CLI のリリースパイプライン
「テストが緑」で満足できなかった理由 エージェントに本物の API キーを渡さずに動かす CLI ツールを開発している。守りたい性質はシンプルで、子プロセスに本物の鍵を渡さないこと。ここが崩れれば、このツールを使う意味はない。 ただ、テストが通っているだけでは確認として物足りなかった。テストが言える …
362 文字
|
2 分で読了
2026.06.15
devops
A Rust CLI Release Pipeline That Proves "Secrets Don't Leak" in Lean and Turns It Into a CI Gate
Why “Tests Are Green” Wasn’t Enough I’m building a CLI tool that runs agents without ever handing them a real API key. The …
1384 文字
|
7 分で読了