v3.5.1
Fixed
- Tool Registry not initialized —
ctx_tree,ctx_discover_tools, and 23 other trait-based tools returned "Unknown tool" because the registry was never wired up at server startup. All 56 advertised tools are now dispatchable. Fixes #184. - Copilot CLI MCP path —
lean-ctx init --agent copilotnow creates.github/mcp.jsonwith the correct"mcpServers"key (per GitHub Copilot CLI spec), in addition to.vscode/mcp.jsonwith the VS Code"servers"key. Previously wrote to the wrong path (.github/copilot/mcp.json) with the wrong key format. - Agent-scoped project rules —
lean-ctx init --agent copilotno longer creates.cursorrulesor.claude/rules/files. Project rules are now scoped to the requested agent(s). - SKILL.md for Copilot/VS Code —
lean-ctx setupnow installs SKILL.md for GitHub Copilot / VS Code users, andlean-ctx doctorchecks the correct path (~/.vscode/skills/lean-ctx/SKILL.md).
Upgrade
lean-ctx update # recommended (auto-downloads + refreshes shell hooks)
cargo install lean-ctx # or
npm update -g lean-ctx-bin # or
brew upgrade lean-ctxNote: After upgrading via cargo/npm/brew, run
lean-ctx setupto refresh shell aliases.lean-ctx updatedoes this automatically.
Full Changelog: v3.5.1...v3.5.1