{"owner":"sosy-lab","github":"https://github.com/sosy-lab","claimed":false,"inventory":[],"indexed":[{"repo":"sosy-lab/cpachecker","github":"https://github.com/sosy-lab/cpachecker","description":"CPAchecker, the Configurable Software-Verification Platform (read-only mirror)","language":"Java","stars":263,"topics":["verification","c","java","software-verification","static-analysis"],"license":"Apache-2.0","category":"dev-tools"}],"how_to_buy":"GET /r/sosy-lab/<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."}