Yves Gugger

lean-ctx. Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.

lean-ctl. LeanCTL — Terminal-native AI coding agent with built-in LeanCTX token compression. Bring your own API key.

ctxpkg. The open package format for portable, versioned, verifiable AI-agent context.

homebrew-lean-ctx. Homebrew tap for LeanCTX — Hybrid Context Optimizer