yvgude/lean-ctx v3.3.5 on GitHub

Multi-Project Workspace Support (GitHub Issue #141)

allow_paths in config.toml: New config field to explicitly allow additional paths in PathJail. Useful for mono-repos and multi-project workspaces where projects live outside the detected root.
Auto-detect multi-root workspaces: When the CWD has no project markers but contains 2+ child directories with markers (.git, Cargo.toml, package.json, etc.), lean-ctx auto-detects this as a workspace and allows all child projects via PathJail.
Improved error messages: PathJail errors now include a hint suggesting LEAN_CTX_ALLOW_PATH or allow_paths in config.toml.

Windows PowerShell Fixes (GitHub Issue #142)

Pipe-guard in profile snippet: The [Console]::IsOutputRedirected check is now embedded directly in the PowerShell profile source line, preventing errors when IDEs redirect stdout.
Binary path resolution: resolve_portable_binary() now takes only the first line of where output on Windows, and prefers .cmd/.exe variants to avoid corrupted path detection.

CLI Improvements

excluded_commands via CLI (PR #143 by @glemsom): lean-ctx config set excluded_commands "make,go build" now works.

CI Stability

Fixed flaky test: startup_prefers_workspace_scoped_session race condition resolved with timestamp separation.
Windows CI: Python-dependent sandbox tests now skip gracefully when Python is unavailable on the runner.

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-ctx

Note: After upgrading via cargo/npm/brew, run lean-ctx setup to refresh shell aliases. lean-ctx update does this automatically.

Full Changelog: v3.3.5...v3.3.5