lean-ctx
LeanCTX is the Context Gateway for AI Systems. Select task-relevant context, apply supported controls, connect local knowledge and inspect recorded evidence. Open-source Engine: CLI, MCP, hooks and supported proxy paths.
yvgude/lean-ctx
View on GitHub ↗LeanCTX is the Context Gateway for AI Systems. Select task-relevant context, apply supported controls, connect local knowledge and inspect recorded evidence. Open-source Engine: CLI, MCP, hooks and supported proxy paths.
lean-ctx grew +1.7% in the last 30 days, ranks 16th of 162 in Courses & Fundamentals, actively maintained, last commit today.
Star trajectory
116 days tracked+1.7% in 30d, above the Courses & Fundamentals median of +1.5%.
Last commit today, fresher than the median of 59.5d.
How it compares in Courses & Fundamentals
Ranked 16th of 162 by stars.
- Language
- Rust
- License
- Apache License 2.0
- Contributors
- 61
- Forks
- 357
- Watchers
- 22
- Open issues
- 9
- Releases
- 257
- Created
- 2026-03-23
- Stars this week
- +13
You've seen where lean-ctx stands today.
Get the moves before everyone else: the 5 Courses & Fundamentals repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.