diff --git a/cn-lsp/client/package.json b/cn-lsp/client/package.json
index 0220613..88eb172 100644
--- a/cn-lsp/client/package.json
+++ b/cn-lsp/client/package.json
@@ -38,6 +38,11 @@
                     "type": "boolean",
                     "default": false,
                     "description": "Run CN whenever a file is saved"
+                },
+                "CN.showGillianDebugLenses": {
+                    "type": "boolean",
+                    "default": false,
+                    "description": "Show code lenses that activate Gillian debugging. Note that this functionality relies on the Gillian debugging extension (https://gillianplatform.github.io/sphinx/debugger.html) being installed, or run in a development host context."
                 }
             }
         },