Skip to main content
buildradar
Sign in
Topic · lean-context

lean-context

Tracked open-source repos tagged lean-context, sorted by stars.

Repos
1
Total stars
3,702
Avg. stars
3,702
Share
0.00%

Related topics

Topics that frequently appear alongside lean-context on the same repo.

Recent risers

Repos created in the last 90 days, tagged lean-context.

No new repos tagged with this topic in the last 90 days.

  • 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. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.

    ★ 3,702+25Star change over the last 7 days
← Back to topics