{"owner":"mojtaba-eshghie","github":"https://github.com/mojtaba-eshghie","claimed":false,"inventory":[],"indexed":[{"repo":"mojtaba-eshghie/Sindi","github":"https://github.com/mojtaba-eshghie/Sindi","description":"Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts","language":"Solidity","stars":10,"topics":["invariants","semantic-equivalence","smart-contracts","solidity","difference","equivalence-checker","rewrite-rules","semantic-analysis"],"license":"MIT","category":"blockchain-web3"}],"how_to_buy":"GET /r/mojtaba-eshghie/<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."}