{"name": "Proof of Keags", "short_name": "Proof of Keags", "start_url": "https://buttondown.com/proofofkeags/archive/", "description": "Building machine-checked cryptographic protocol infrastructure. Currently verifying Bitcoin's consensus components in Lean, with LLM-assisted proof engineering.", "icons": [{"src": "https://assets.buttondown.email/images/f90790cd-2f15-4b3e-a5e2-311131337e8d.png", "sizes": "any", "purpose": "any", "type": "image/png"}], "background_color": "#FAFAFB", "theme_color": "#0069FF", "display": "standalone", "orientation": "portrait-primary"}