{"owner":"AU-COBRA","github":"https://github.com/AU-COBRA","claimed":false,"inventory":[],"indexed":[{"repo":"AU-COBRA/ConCert","github":"https://github.com/AU-COBRA/ConCert","description":"A framework for smart contract verification in Coq","language":"Rocq Prover","stars":128,"topics":["blockchain","coq","smart-contracts","verification"],"license":"MIT","category":"blockchain-web3"}],"how_to_buy":"GET /r/AU-COBRA/<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."}