lean-ctx 3.9.16

Context Runtime for AI Agents with CCP. 71 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP), persistent AI knowledge with temporal facts + contradiction detection, multi-agent context sharing, 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

# lean-ctx — Replace Mode for Pi

This project uses the **pi-lean-ctx** extension in **Replace mode**. Native Pi builtins
(read/bash/grep/find/ls) are **suppressed**. You MUST use `ctx_*` tools exclusively.

## Tool mapping (MANDATORY)

| Use (ctx_*) | Instead of (suppressed) | Why |
|-------------|------------------------|-----|
| `ctx_read` | `read`, `cat`/`head`/`tail` | Cached + compressed; unchanged re-reads cost ~13 tokens |
| `ctx_shell` | `bash` | Shell output compressed via 95+ patterns |
| `ctx_search` | `grep` | Compact, ranked matches |
| `ctx_glob` | `find` | Compressed, .gitignore-aware file matching |
| `ctx_tree` | `ls` | Compact directory maps |

Do NOT attempt native `read`, `bash`, `grep`, `find`, or `ls` — they are not available.

## Editing

- Use `ctx_read(mode="anchored")` for files you will edit, then `ctx_patch` (line+hash anchors).
- Pi's native `edit`/`write` remain fully available for file modifications.
- For line ranges: `offset`/`limit` or `mode=lines:N-M` — all cached through the bridge.

## MCP bridge

The embedded bridge holds a persistent session cache. Use `/lean-ctx` to verify it reports
`connected`. To force the one-shot CLI path: `LEAN_CTX_PI_ENABLE_MCP=0`.