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.

open-context-protocol. Open Context Protocol (OCP) — open wire format for governed context exchange: Context-IR, capabilities, policy packs, evidence chain, events. CC-BY 4.0 (prose) / Apache-2.0 (schemas).

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