Sandbox
4 repos for lean · Connectors · CodingClear
FreePeak/
LeanKG
FreePeak/LeanKGConnectors

LeanKG: Stop Burning Tokens. Start Coding Lean.

217
yvgude/
lean-ctx
yvgude/lean-ctxConnectors

LeanCTX — Context Intelligence for AI systems.

3.8k

Local-first MCP server for supported Adobe Premiere Pro workflows. Connect Claude, Codex, or Cursor through a local CEP bridge; inspect, preview, and approve edits.

247