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 consensus changes, a pluralist who spends all his working hours on Bitcoin, and a security thinker who refused to dunk on Coldcard even while sitting across from someone who very much wanted him to. Time stamps: 00:00 – Intro and sound ch...