lean-context is retired. For Pi, use cache-guard, which combines tool-output trimming and compaction with cache-cost visibility in Pi Plugins. Do not enable the retired Pi extension alongside its replacement.
This page preserves the original Pi repository for reference. It is not a component of the suite.