#

lean-context

Here are 3 public repositories matching this topic...

yvgude / 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.

rust ai mcp developer-tools cursor copilot ai-agents llm gemini-cli ai-coding mcp-server claude-code token-optimization agentic-coding context-engineering context-layer reduce-token-costs lean-context context-intelligence

Updated Sep 4, 2026
Rust

FreePeak / LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

mcp knowledge-graph graph-database token second-brain graph-engineer knowlege-base ai-memory mcp-server context-engineer codebase-memory saving-token lean-code lean-context concise-context lean-token memory-ai-agent codebase-memory-mcp

Updated Sep 4, 2026
Rust

Benjinsassi / LeanKG

Index codebases into a local knowledge graph to provide accurate context for AI coding tools through a direct MCP server connection.

opencode gemini knowledge-graph graph-database cursor token second-brain llm knowlege-base antigravity mcp-server claude-code kilo-code saving-token lean-code lean-context concise-context lean-token

Updated Sep 3, 2026

Add this topic to your repo

To associate your repository with the lean-context topic, visit your repo's landing page and select "manage topics."