yvgude / 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.
- Stars
- 3,941 stars
- Forks
- 365 forks
- Language
- Rust
- License
- APACHE-2.0
- Created
- Mar 23, 2026
- Last push
- Nov 12, 2026
- Updated
- Nov 12, 2026
Admitted to the Repository Index on Nov 10, 2026: 3,939 stars on 2026-11-10.
Star History
189 days recorded, May 8, 2026 – Nov 12, 2026 (UTC). Net change +2,842 stars.
The star count of each day is the latest count minus the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour.
Add ?theme=light or ?theme=dark
to the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/yvgude/lean-ctx) Badge
[](https://awesomerepos.com/yvgude/lean-ctx) Timeline
It gained stars on 184 of the 189 days recorded since May 8, 2026.
Its largest 7 days were May 8, 2026 to May 14, 2026: 499 stars.
In the 30 days to Nov 12, 2026 it got 83 stars, 26% fewer than in the 30 days before.
It had 1,099 stars before May 8, 2026 and has 3,941 stars now: 1,059 fewer than 5,000.
- Created on the Repository Host
- Largest star day recorded: +223 stars
- +103 stars in one day
- +89 stars in one day
- Release v3.11.4
- Release v3.12.0
- Release v3.12.1
- Release v3.12.2
- Entered the Repository Index: 3,939 stars on 2026-11-10
- Release v3.12.3
- Latest push
The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.
Forks and pushes
From 3 Observations, Nov 11, 2026 – Nov 13, 2026. Forks 0. AwesomeRepos saw a new push on 2 of 2 days.
- Nov 12, 2026: new push
- Nov 13, 2026: new push
A filled day: the last push time changed since the Observation before it.
Health facts
Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos reads the weekly commits, the changelog, and the community files each week for the 5,000 visible repositories with the most stars and for each rising repository. How AwesomeRepos defines each check
Maintenance
2 of 4 checks (2 without data)-
Yes: Not archived
GitHub does not mark the repository as archived. Source
-
Yes: A push in the last 90 days
Last push on 2026-11-12, 0 days ago. Source
-
No data: Commits in the last 13 weeks
No data: AwesomeRepos has not read the weekly commits.
-
No data: Commits in 26 or more of the last 52 weeks
No data: AwesomeRepos has not read the weekly commits.
Releases
2 of 3 checks (1 without data)-
Yes: A release in the last 365 days
Newest release v3.12.3 on 2026-11-11, 1 day ago. 10 or more releases in the last 365 days. Source
-
Yes: The newest release tag is a semantic version
The newest release tag is v3.12.3. Source
-
No data: A changelog file at the root
No data: AwesomeRepos has not scanned this repository.
Security practice
0 of 1 check (1 without data)-
No data: A security policy
No data: AwesomeRepos has not scanned this repository.
AwesomeRepos has not asked OpenSSF Scorecard about this repository.
Community files
1 of 3 checks (2 without data)-
Yes: A licence
GitHub finds the licence APACHE-2.0. Source
-
No data: A contributing guide
No data: AwesomeRepos has not scanned this repository.
-
No data: A code of conduct
No data: AwesomeRepos has not scanned this repository.
Observations
Latest Observation, Nov 13, 2026: 3,941 stars, 365 forks, last push Nov 12, 2026, not archived. One of 3 Observations since Nov 11, 2026.