← Top authors
Grade
Scan
GitHub stars
Lean Ctx

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 su

CautionS