lean-ctx

LeanCTX is the Context Gateway for AI Systems.

npx skills add yvgude/lean-ctx -g -y

1 skills

Review how the lean-ctx ctx_* MCP tools performed in the current session and file...