Does "Remote Control" by jeandeaual really exist? #25

New issue

Closed

opened 2026-04-13 13:25:54 -07:00 by KajWiik · 2 comments

KajWiik commented

2026-04-13 13:25:54 -07:00

(Migrated from github.com)

I could not find "Remote Control" by jeandeaual referenced in
https://kahliburke.github.io/Kaimon.jl/dev/installation#VS-Code-Remote-Control

Would "Remote Control" by Elio Struyf work instead?

I could not find "Remote Control" by jeandeaual referenced in https://kahliburke.github.io/Kaimon.jl/dev/installation#VS-Code-Remote-Control Would "Remote Control" by Elio Struyf work instead?

kahliburke commented

2026-04-14 20:59:27 -07:00

(Migrated from github.com)

I'll fix the docs and improve the VSCode remote extension. Basically if you want to use this functionality, you can install the remote extension through the config tab by pressing [v]. This allows an MCP tool which enables the agent to call into VSCode's command system.

@KajWiik I think this is AI messing up the name. I actually had my own remote control extension earlier, but I stopped using VSCode as much in favor of the command line, and some of the VSCode related functionality is not quite up to date. I'll fix the docs and improve the VSCode remote extension. Basically if you want to use this functionality, you can install the remote extension through the config tab by pressing [v]. This allows an MCP tool which enables the agent to call into VSCode's command system.

kahliburke commented

2026-04-14 21:04:08 -07:00

(Migrated from github.com)

Fixed — Kaimon ships its own VS Code Remote Control extension (no third-party extension needed). The docs were referencing a nonexistent extension by jeandeaual.

Install from the TUI Config tab (press v), or from the REPL:

using Kaimon
Kaimon.install_vscode_remote_control()

Reload VS Code after installation. The extension comes with sensible default allowed commands. Customize via VS Code settings under vscode-remote-control.allowedCommands.

Docs updated in commit 6971579.

Fixed — Kaimon ships its own VS Code Remote Control extension (no third-party extension needed). The docs were referencing a nonexistent extension by jeandeaual. Install from the TUI Config tab (press `v`), or from the REPL: ```julia using Kaimon Kaimon.install_vscode_remote_control() ``` Reload VS Code after installation. The extension comes with sensible default allowed commands. Customize via VS Code settings under `vscode-remote-control.allowedCommands`. Docs updated in commit 6971579.