lean-ctx 3.5.3

Context Runtime for AI Agents with CCP. 57 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP), persistent AI knowledge with temporal facts + contradiction detection, multi-agent context sharing + diaries, LITM-aware positioning, AAAK compact format, adaptive compression with Thompson Sampling bandits. Supports 24 AI tools. Reduces LLM token consumption by up to 99%.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

# lean-ctx — CLI-first Token Optimization for Pi

This project uses the **pi-lean-ctx** extension. It routes Pi’s built-in tools through **lean-ctx CLI**
for strong token savings — **no MCP required**.

## What to do (as Pi agent)

- Use Pi tools normally:
  - `read` (never `cat/head/tail` via bash)
  - `grep` / `find` / `ls`
  - `bash` for commands with side effects (build/test/git/etc.)
- The extension auto-routes these through `lean-ctx` and appends a savings footer where possible.

## Advanced lean-ctx commands (still CLI-only)

Prefer the `lean_ctx` tool (installed by the extension) to run `lean-ctx` directly:

- `lean-ctx overview`
- `lean-ctx session …`
- `lean-ctx knowledge …`
- `lean-ctx gain` / `lean-ctx stats`
- `lean-ctx index …`

If `lean_ctx` is not available, use Pi’s `bash` tool with `raw=true` to run `lean-ctx …` directly
(avoid nesting `lean-ctx` inside its own compression wrapper).

## Optional MCP (disabled by default)

Some users enable MCP for additional tools. If MCP is enabled, it will show up in `/lean-ctx`,
but the default workflow is CLI-first.