{"owner":"rocq-prover","github":"https://github.com/rocq-prover","claimed":false,"inventory":[],"indexed":[{"repo":"rocq-prover/bot","github":"https://github.com/rocq-prover/bot","description":"The Rocq Prover bot","language":"OCaml","stars":30,"topics":["bot","webhook","ocaml","github","gitlab","github-api","gitlab-api","github-app"],"license":"MIT","category":"workflow-automation"}],"how_to_buy":"GET /r/rocq-prover/<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."}