Lean

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 …