Skip to content

Dev Proxy Toolkit with MCP Server

Pre-release
Pre-release
Compare
Choose a tag to compare
@garrytrinder garrytrinder released this 24 Apr 09:20
· 5 commits to 244-add-dev-proxy-mcp-server since this release
mcp.4
This tag was signed with the committer’s verified signature.
garrytrinder Garry Trinder
SSH Key Fingerprint: u+AV+0jGL33ygiSZKbo+f5Hd+YWEzSxIwIIbNjxzlmc
Verified
Learn about vigilant mode.
e6d35fd
This commit was signed with the committer’s verified signature.
garrytrinder Garry Trinder
SSH Key Fingerprint: u+AV+0jGL33ygiSZKbo+f5Hd+YWEzSxIwIIbNjxzlmc
Verified
Learn about vigilant mode.

This is a pre-release of the Dev Proxy Toolkit that contains the Dev Proxy MCP server which can be used in GitHub Copilot Agent mode.

The MCP server provides two tools:

  • Find Dev Proxy documentation
  • Get the installed Dev Proxy version

Install instructions

  1. Download VS Code Insiders
  2. Download the dev-proxy-toolkit-mcp-server-4.vsix package
  3. Install extension as VSIX in VS Code Insiders
  4. Close VS Code Insiders
  5. Start VS Code Insiders with proposed API enabled, code-insiders . --enable-proposed-api=garrytrinder.dev-proxy-toolkit

If you'd like to set it so that your extension using the proposed API is always available to use on every launch of VS Code Insiders, you can run the Preferences: Configure Runtime Arguments command to edit the .vscode-insiders/argv.json file to set a list of enabled extensions.

{
    ...
    "enable-proposed-api": ["garrytrinder.dev-proxy-toolkit"]
}

See Sharing extensions using the proposed API for more details on installing extensions that use the Proposed API.

Assets 3
Loading