S17 E38: Keagan McClelland (Keags) on Lightning Metrics, Covenants, Consensus Politics & Verifying Bitcoin

Keagan McClellan (Keags) co-founded Start9 Labs, worked on Sapio with Jeremy Rubin at Judica during the CTV saga, spent time at Lightning Labs maintaining LND, and is now building BTC Verified, a formal specification and verification project for Bitcoin's consensus rules written in Lean 4. He is also a self-described member of Bitcoin's "progressive wing" who nonetheless defends the rising bar for…