github-actions[bot] Bot released v3.11.1 of yvgude/lean-ctx · October 9, 2026 03:28 yvgude / /yvgude/lean-ctx v3.11.1 HighlightsAgents can read across all your projects at once: the path jail now admits every project below your home directory for reading by default, while writes stay in the session's own project… Read more