repoGitHubTrust 82 · PrimaryPublished 1mo agoLive · 26d ago
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.
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 50%LLM Agents Are Latent Context Managers: Eliciting Self-Managed Context via a Proprioceptive Dashboard →
- PossiblePossibly related (embedding) · 48%AI agents need context everywhere they run, even where the cloud can't follow →
- PossiblePossibly related (embedding) · 46%AgentTrace →
- PossiblePossibly related (embedding) · 45%Teaching AI to run with the turbines →
- PossiblePossibly related (embedding) · 52%Mistral AI Releases Leanstral 1.5 for Lean 4 Proof Engineering - TechGig →
Implements
Covers
Related to
Covers (incoming)
Related across the graph
newsAI agents need context everywhere they run, even where the cloud can't follownewsMistral AI Releases Leanstral 1.5 for Lean 4 Proof Engineering - TechGignewsTeaching AI to run with the turbinespaperLLM Agents Are Latent Context Managers: Eliciting Self-Managed Context via a Proprioceptive DashboardtoolAgentTrace