{"owner":"viperproject","github":"https://github.com/viperproject","claimed":false,"inventory":[],"indexed":[{"repo":"viperproject/prusti-dev","github":"https://github.com/viperproject/prusti-dev","description":"A static verifier for Rust, based on the Viper verification infrastructure.","language":"Rust","stars":1805,"topics":["rust","verification","viper","formal-verification"],"license":null,"category":"dev-tools"}],"how_to_buy":"GET /r/viperproject/<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."}