{"owner":"overturetool","github":"https://github.com/overturetool","claimed":false,"inventory":[],"indexed":[{"repo":"overturetool/overture","github":"https://github.com/overturetool/overture","description":"The Overture Tool","language":"Java","stars":53,"topics":["vdm","vdm-sl","vdmpp","vdmrt","ide","formal-methods","overture","eclipse","java","code-generation"],"license":"GPL-3.0","category":"dev-tools"}],"how_to_buy":"GET /r/overturetool/<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."}