lean-ctx is installed as a Pi Package. All bash, read, grep, find, and ls calls are automatically routed through lean-ctx for 60-90% token savings.
- ---
The Pi extension handles routing automatically. Just use tools normally:
```bash
git status # automatically compressed
cargo test # automatically compressed
kubectl get pods # automatically compressed
```
Use `/lean-ctx` in Pi to verify which binary is active.
Run `lean-ctx dashboard` in a separate terminal to see real-time token savings.