yvgude released v3.11.4 at yvgude/lean-ctx

Wait 5 sec.

github-actions[bot] Bot released v3.11.4 of yvgude/lean-ctx · October 11, 2026 14:31 yvgude / /yvgude/lean-ctx v3.11.4 A bugfix release: tool calls that an agent gets almost right are now served instead of refused, edits survive indentation slips, and the Claude Code plugin wakes the agent only once per finished ba… Read more