{"owner":"leanprover","github":"https://github.com/leanprover","claimed":false,"inventory":[],"indexed":[{"repo":"leanprover/lean4-cli","github":"https://github.com/leanprover/lean4-cli","description":"A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.","language":"Lean","stars":118,"topics":["lean","lean4","cli"],"license":"MIT","category":"cli-tools"},{"repo":"leanprover/lean-action","github":"https://github.com/leanprover/lean-action","description":"GitHub action for standard CI in Lean projects","language":"Shell","stars":39,"topics":["github-actions","lean","lean4"],"license":"Apache-2.0","category":"workflow-automation"}],"how_to_buy":"GET /r/leanprover/<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."}