{"owner":"ProofOfKeags","github":"https://github.com/ProofOfKeags","claimed":false,"inventory":[],"indexed":[{"repo":"ProofOfKeags/btc-verified","github":"https://github.com/ProofOfKeags/btc-verified","description":"Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.","language":"Lean","stars":17,"topics":["bitcoin","bitcoin-protocol","formal-methods","formal-verification","lean","lean4","theorem-proving"],"license":"Apache-2.0","category":"blockchain-web3"}],"how_to_buy":"GET /r/ProofOfKeags/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}