From 7878ec1365bd5ec6817c57347507e1900b1baa4a Mon Sep 17 00:00:00 2001 From: gjsjohnmurray Date: Fri, 15 May 2026 08:03:31 +0100 Subject: [PATCH 1/2] VSIX: Derive IRIS_TLS_VERIFY from `http.proxyStrictSSL` --- vscode-iris-dev/src/extension.ts | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/vscode-iris-dev/src/extension.ts b/vscode-iris-dev/src/extension.ts index f661046..05ad8dc 100644 --- a/vscode-iris-dev/src/extension.ts +++ b/vscode-iris-dev/src/extension.ts @@ -108,6 +108,10 @@ export class IrisDevMcpProvider .get('containerName'); this.log.info(`iris-dev: containerName = ${containerName}`); + const tlsVerify = vscode.workspace + .getConfiguration('http') + .get('proxyStrictSSL'); + // Resolve named server if using intersystems.servers. // Server Manager writes server definitions to user settings, so we must // check both workspace-scoped config (for .vscode/settings.json) and @@ -167,6 +171,7 @@ export class IrisDevMcpProvider IRIS_ISFS: isIsfs ? 'true' : undefined, IRIS_SERVER_NAME: conn.server ?? undefined, IRIS_CONTAINER: containerName ?? undefined, + IRIS_TLS_VERIFY: tlsVerify ? 'true' : 'false', OBJECTSCRIPT_LEARNING: 'true', }; const env: Record = Object.fromEntries( From d014a18f40bff768d1634b670ebc8a29c88bd8f7 Mon Sep 17 00:00:00 2001 From: gjsjohnmurray Date: Fri, 15 May 2026 08:04:27 +0100 Subject: [PATCH 2/2] VSIX: Add `repository` to package.json --- vscode-iris-dev/package.json | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/vscode-iris-dev/package.json b/vscode-iris-dev/package.json index 877b02d..4712cb6 100644 --- a/vscode-iris-dev/package.json +++ b/vscode-iris-dev/package.json @@ -1,9 +1,13 @@ { "name": "vscode-iris-dev", "displayName": "iris-dev for IRIS", - "description": "Wires iris-dev MCP tools into VS Code Copilot agent mode — automatically picks up your objectscript.conn connection. Requires the iris-dev binary on PATH.", + "description": "Wires iris-dev MCP tools into VS Code Copilot agent mode — automatically picks up your objectscript.conn connection. Requires the iris-dev binary on PATH or in `iris-dev.serverPath` setting.", "version": "0.2.4", "publisher": "intersystems-community", + "repository": { + "type": "git", + "url": "https://github.com/intersystems-community/iris-dev" + }, "engines": { "vscode": "^1.99.0" },