yvgude/lean-ctx v2.9.13

v2.9.13 — Clear IDE restart guidance + auto-inject on MCP connect

on GitHub

Improved

• Clear IDE restart guidance — lean-ctx setup, lean-ctx update, and npm install lean-ctx-bin now show explicit numbered next-step instructions, prominently highlighting that the IDE must be restarted for changes to take effect
• Auto-inject agent rules on MCP connect — When any IDE connects to lean-ctx's MCP server, agent rules are silently updated in the background. No manual lean-ctx setup needed after updates

Install

brew install yvgude/lean-ctx/lean-ctx
# or
cargo install lean-ctx
# then
lean-ctx setup

Full Changelog: v2.9.12...v2.9.13