lean-ctx
activeLeanCTX 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.
Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.
Get it
- Repository
- github.com/yvgude/lean-ctx
- Package
- pypi: lean-ctx-client
- Run (stdio)
uvx lean-ctx-clientThe usual command for this package registry; check the repository README for required settings.- License
- Apache-2.0
- Last update
- 2026-11-14
- GitHub stars
- ★ 3,951
- Homepage
- leanctx.com
Listed in
- github · source
Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.