{"owner":"leanprover-community","github":"https://github.com/leanprover-community","claimed":false,"inventory":[],"indexed":[{"repo":"leanprover-community/lean4game","github":"https://github.com/leanprover-community/lean4game","description":"Server to host Lean games","language":"TypeScript","stars":539,"topics":["lean4","react"],"license":"GPL-3.0","category":"game-templates"}],"how_to_buy":"GET /r/leanprover-community/<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."}