{"owner":"freespek","github":"https://github.com/freespek","claimed":false,"inventory":[],"indexed":[{"repo":"freespek/solarkraft","github":"https://github.com/freespek/solarkraft","description":"Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache","language":"TypeScript","stars":12,"topics":["smart-contracts","soroban","stellar","tlaplus","verification"],"license":"Apache-2.0","category":"blockchain-web3"}],"how_to_buy":"GET /r/freespek/<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."}