{"owner":"model-checking","github":"https://github.com/model-checking","claimed":false,"inventory":[],"indexed":[{"repo":"model-checking/kani","github":"https://github.com/model-checking/kani","description":"Kani Rust Verifier","language":"Rust","stars":3329,"topics":["rust","model-checking","verification"],"license":"Apache-2.0","category":"dev-tools"}],"how_to_buy":"GET /r/model-checking/<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."}