{"owner":"oOo0oOo","github":"https://github.com/oOo0oOo","claimed":false,"inventory":[],"indexed":[{"repo":"oOo0oOo/lean-lsp-mcp","github":"https://github.com/oOo0oOo/lean-lsp-mcp","description":"Lean Theorem Prover MCP","language":"Python","stars":477,"topics":["lean4","lsp","mcp"],"license":"MIT","category":"mcp-servers"}],"how_to_buy":"GET /r/oOo0oOo/<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."}