Popular repositories Loading

1. lean-ctx lean-ctx Public

   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…

   Rust 3.3k 307

2. lean-ctl lean-ctl Public

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

   6

3. ctxpkg ctxpkg Public

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

   3 1

4. homebrew-lean-ctx homebrew-lean-ctx Public

   Homebrew tap for LeanCTX — Hybrid Context Optimizer

   Ruby 1

5. open-context-protocol open-context-protocol Public

   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).

   1 1

6. prototyp prototyp Public