install lean-ctx

pick your MCP client below. snippets, file paths and reload steps included.

source-only — no published npm / pypi package detected.
clone and follow the build instructions in the repo: github.com/yvgude/lean-ctx