diff --git a/ide/packages/extension/package.json b/ide/packages/extension/package.json
index 05ff1ba..d3ec387 100644
--- a/ide/packages/extension/package.json
+++ b/ide/packages/extension/package.json
@@ -105,7 +105,6 @@
     "toml": "^3.0.0",
     "typescript": "^5.1.3",
     "vite": "^4.4.9",
-    "vite-plugin-static-copy": "^1.0.1",
-    "vscode-languageclient": "^9.0.1"
+    "vite-plugin-static-copy": "^1.0.1"
   }
 }
diff --git a/ide/packages/extension/src/commands.ts b/ide/packages/extension/src/commands.ts
index daea7df..3afaba3 100644
--- a/ide/packages/extension/src/commands.ts
+++ b/ide/packages/extension/src/commands.ts
@@ -1,6 +1,5 @@
 import type { BodyHash, ExprIdx, ObligationHash } from "@argus/common/bindings";
 import type { Filename } from "@argus/common/lib";
-import type * as lc from "vscode-languageclient/node";
 
 import type { Cmd, Ctx } from "./ctx";
 import * as errors from "./errors";
@@ -17,11 +16,6 @@ export function inspect(ctx: Ctx): Cmd {
   };
 }
 
-interface RustAnalyzerExtensionApi {
-  // FIXME: this should be non-optional
-  readonly client?: lc.LanguageClient;
-}
-
 export function pinMBData(ctx: Ctx): Cmd {
   return async () => {
     trace("pinMBData");
diff --git a/ide/pnpm-lock.yaml b/ide/pnpm-lock.yaml
index 170ddcc..009f540 100644
--- a/ide/pnpm-lock.yaml
+++ b/ide/pnpm-lock.yaml
@@ -149,9 +149,6 @@ importers:
       vite-plugin-static-copy:
         specifier: ^1.0.1
         version: 1.0.1(vite@4.4.9(@types/node@20.2.5))
-      vscode-languageclient:
-        specifier: ^9.0.1
-        version: 9.0.1
 
   packages/itests:
     dependencies:
@@ -2277,20 +2274,6 @@ packages:
     resolution: {integrity: sha512-W+1+N/hdzLpQZEcvz79n2IgUE9pfx6JLdHh3Kh8RGvLL8P1LdJVQmi2OsDcLdY4QVID4OUy+FPelyerX0nJxIQ==}
     deprecated: 2.x is no longer supported, 3.x published as @viz-js/viz
 
-  vscode-jsonrpc@8.2.0:
-    resolution: {integrity: sha512-C+r0eKJUIfiDIfwJhria30+TYWPtuHJXHtI7J0YlOmKAo7ogxP20T0zxB7HZQIFhIyvoBPwWskjxrvAtfjyZfA==}
-    engines: {node: '>=14.0.0'}
-
-  vscode-languageclient@9.0.1:
-    resolution: {integrity: sha512-JZiimVdvimEuHh5olxhxkht09m3JzUGwggb5eRUkzzJhZ2KjCN0nh55VfiED9oez9DyF8/fz1g1iBV3h+0Z2EA==}
-    engines: {vscode: ^1.82.0}
-
-  vscode-languageserver-protocol@3.17.5:
-    resolution: {integrity: sha512-mb1bvRJN8SVznADSGWM9u/b07H7Ecg0I3OgXDuLdn307rl/J3A9YD6/eYOssqhecL27hK1IPZAsaqh00i/Jljg==}
-
-  vscode-languageserver-types@3.17.5:
-    resolution: {integrity: sha512-Ld1VelNuX9pdF39h2Hgaeb5hEZM2Z3jUrrMgWQAu82jMtZp7p3vJT3BzToKtZI7NgQssZje5o0zryOrhQvzQAg==}
-
   vscode-oniguruma@1.7.0:
     resolution: {integrity: sha512-L9WMGRfrjOhgHSdOYgCt/yRMsXzLDJSL7BPrOZt73gU0iWO4mpqzqQzOz5srxqTvMBaR0XZTSrVWo4j55Rc6cA==}
 
@@ -4418,21 +4401,6 @@ snapshots:
 
   viz.js@1.8.2: {}
 
-  vscode-jsonrpc@8.2.0: {}
-
-  vscode-languageclient@9.0.1:
-    dependencies:
-      minimatch: 5.1.6
-      semver: 7.5.4
-      vscode-languageserver-protocol: 3.17.5
-
-  vscode-languageserver-protocol@3.17.5:
-    dependencies:
-      vscode-jsonrpc: 8.2.0
-      vscode-languageserver-types: 3.17.5
-
-  vscode-languageserver-types@3.17.5: {}
-
   vscode-oniguruma@1.7.0: {}
 
   vscode-textmate@8.0.0: {}