GitHub repository: rencryptofish/bcap
Description: Repo for Analyzing Bitcoin Consensus: Risks in Protocol Upgrades