Skip to content
Documentation

Integrate

Connect VS Code / Copilot.

Set up the local integration, verify a real context call and understand what it covers.

AvailableReviewed September 2026

Install where the host runs

Follow the installation guide for Windows, macOS or Linux. The runtime must be available in the environment that executes your AI tool. A Windows installation and one inside WSL are separate setups.

Confirm the binary before changing host configuration:

lean-ctx --version
lean-ctx status

Register the integration

lean-ctx wrap vscode

The wrapper configures supported integration pieces and reports verification results. Shell hooks and login services differ by platform; native Windows does not acquire Unix shell hooks.

Restart VS Code and inspect the available MCP tools in your Copilot agent session. Tool availability depends on the host mode and its MCP support; ordinary editor actions are outside that coverage.

Verify the actual path

Ask the host to locate a file in your project and read its signatures with ctx_read. Inspect the tool invocation, selected path and returned representation.

Then request the relevant implementation with an explicit line range or a fresh full read. A successful response demonstrates that particular call path; it does not mean every future operation uses LeanCTX.

Keep exact file contents for edits. A signatures view explains an interface and can omit the implementation that must be changed.

Diagnose a missing connection

lean-ctx doctor

Check the wrapper report, host restart, executable location and project scope. An already-running desktop process may not inherit a changed terminal environment. For WSL, check both where the host runs and where LeanCTX was installed.

Use the troubleshooting guide before manually replacing configuration. Preserve unrelated host settings.

Remove the integration

lean-ctx unwrap vscode

Unwrapping removes the supported integration configuration. It is different from uninstalling the binary or deleting retained project knowledge.

Sources & versions3 references Reviewed
  • 01-setup-and-onboarding.mddocs/reference/01-setup-and-onboarding.mdReviewed checkout
  • mod.rsrust/src/wrap/mod.rsReviewed checkout
  • mode.rsrust/src/tools/ctx_read/mode.rsReviewed checkout
Core checkout
0ce2207ee4
Installed runtime
3.10.2
SDK release
1.1.0

Separate baselines for source, CLI/configuration and SDK contracts. Review does not certify every platform or integration.

Versions & compatibility