{"owner":"midspiral","github":"https://github.com/midspiral","claimed":false,"inventory":[],"indexed":[{"repo":"midspiral/lemmafit","github":"https://github.com/midspiral/lemmafit","description":"Make agents prove that their code is correct.","language":"JavaScript","stars":61,"topics":["ai","claude-code","dafny","llm","reactjs","verification"],"license":"MIT","category":"ai-agents"}],"how_to_buy":"GET /r/midspiral/<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."}