lean-ctl. LeanCTL — Terminal-native AI coding agent with built-in LeanCTX token compression. Bring your own API key.

github.com/yvgude/lean-ctl
by @yvgude

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.