Scripts that fetch data from Reservoir
and decide which Lean projects belong in lean-pool.
Managed with uv.
LLM pull request reviews run through GPT-6-Astra through a private Codex worker. See review operations for contributor-facing behavior.
cd python
uv synclean_pool/— package modulestests/— pytest testspyproject.toml— dependencies, ruff and pytest config.python-version— Python version pin (read byuv)
uv run pytest # run tests
uv run ruff check # lint
uv run ruff format # format
uv run python -m lean_pool.quality --repo .. # repository quality gates