Skip to content

Latest commit

 

History

History

python

README.md

lean-pool python tooling

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.

Setup

cd python
uv sync

Layout

  • lean_pool/ — package modules
  • tests/ — pytest tests
  • pyproject.toml — dependencies, ruff and pytest config
  • .python-version — Python version pin (read by uv)

Common commands

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