Keagan McClelland
Start9 co-founder who left to work on Sapio at Judica, later worked at Lightning Labs, and now verifies Bitcoin consensus code in Lean.
The wiki's angle: S17 E38 traced McClelland's path from Salt to Start9, Judica and Lightning Labs, as introduced by Vlad.[1][2]
Start9 and Judica
Introducing S17 E38, Vlad called him a developer who “has worked for Lightning Labs” and “a co-founder of Start9 Labs”[1]. McClelland said that in 2019 core engineers left Salt Lending and “Start9 is what came out of that”[2]. He later “ended up leaving and joining Judica to work with Jeremy on Sapio”[3]. He said he had met Jeremy Rubin in the summer of 2019[3].
CTV and now
On the same episode he recalled that CTV used to be called OP_SECURE_THE_BAG[4]. His GitHub bio reads “Building machine-checked cryptographic protocol infrastructure” and says he is “Currently verifying Bitcoin's consensus components in Lean”[5].
On Bitcoin Takeover
Episodes with Keagan McClelland as a guest, from the show's feed (bitcoin-takeover.com/audio/feed.xml).
- S17 E38: Keagan McClelland (Keags) on Lightning Metrics, Covenants, Consensus Politics & Verifying Bitcoin 18 Aug 2026 · ▶ mp3 [archived][6]
References
- episodeS17 E38: Vlad introduces Keagan McClelland▶ listen at 0:46timestamp transcript-derived, pending a listen [archived]
- episodeS17 E38: Keagan McClelland — “Start9 is what came out of that”▶ listen at 6:58timestamp transcript-derived, pending a listen [archived]
- episodeS17 E38: Keagan McClelland on joining Judica to work on Sapio▶ listen at 9:41timestamp transcript-derived, pending a listen [archived]
- episodeS17 E38: Keagan McClelland — CTV “used to be called OP_SECURE_THE_BAG”▶ listen at 10:17timestamp transcript-derived, pending a listen [archived]
- primaryGitHub profile ProofOfKeags (Keagan McClelland), read 13 Nov 2026 [archived]
- episodeS17 E38: Keagan McClelland (Keags) on Lightning Metrics, Covenants, Consensus Politics & Verifying Bitcoin [archived]