Popular repositories Loading

1. lean-ctx lean-ctx Public

   Reduce AI coding costs by 99% — MCP Server + Shell Hook for Cursor, Claude Code, Copilot, Windsurf, Gemini CLI & 24 tools. Single Rust binary, zero telemetry.

   Rust 499 65

2. prototyp prototyp Public

3. homebrew-tap homebrew-tap Public

   Homebrew formula for lean-ctx — Hybrid Context Optimizer

   Ruby

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

   Homebrew tap for LeanCTX — Hybrid Context Optimizer

   Ruby

5. lean-ctl lean-ctl Public

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

   Shell