Back to directory
yvgude/lean-ctx

yvgude/lean-ctx

@yvgude

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.

contextai-agentscompressiontoken-optimizationmcp-serverrustlocal-firstcli

Installation & Configuration

{
  "mcpServers": {
    "lean-ctx": {
      "command": "lean-ctx",
      "args": [
        "serve"
      ]
    }
  }
}

Information

Transport
stdiostreamable-http
Language
Rust
Created
2026/6/14
Updated
2026/6/15