github-actions[bot] Bot released v3.12.2 of yvgude/lean-ctx · November 4, 2026 23:05 yvgude / /yvgude/lean-ctx v3.12.2 AddedLeanCTX | Hive is open. lean-ctx hive connect and hive link connect an instance tohive.leanctx.com (or a self-hosted Hive), and hive is back in help, suggestions andcompletions; 3.12.0 and… Read more