diff --git a/extensions.json b/extensions.json
index 1b0ef70cc..abdd16342 100644
--- a/extensions.json
+++ b/extensions.json
@@ -224,6 +224,10 @@
   "dcasella.monokai-plusplus": {
     "repository": "https://github.com/dcasella/monokai-plusplus"
   },
+  "deducteam.lambdapi": {
+    "repository": "https://github.com/Deducteam/lambdapi",
+    "custom": ["make build-vscode-extension"]
+  },
   "deerawan.vscode-faker": {
     "repository": "https://github.com/deerawan/vscode-faker"
   },