{"owner":"justincasher","github":"https://github.com/justincasher","claimed":false,"inventory":[],"indexed":[{"repo":"justincasher/lean-explore","github":"https://github.com/justincasher/lean-explore","description":"A search engine for Lean 4 declarations","language":"Python","stars":76,"topics":["api","lean4","machine-learning","search","semantic-search"],"license":"Apache-2.0","category":"machine-learning"}],"how_to_buy":"GET /r/justincasher/<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."}