diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
new file mode 100644
index 0000000..e591eeb
--- /dev/null
+++ b/.devcontainer/Dockerfile
@@ -0,0 +1,6 @@
+FROM coqorg/coq:8.17.1
+RUN eval $(opam env "--switch=${COMPILER}" --set-switch)
+RUN opam update -y
+RUN opam install -y coq-lsp
+RUN git clone -b strat --depth 1 https://github.com/ecranceMERCE/coq-elpi
+RUN opam install -y ./coq-elpi
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..b9b05a7
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,10 @@
+{
+    "name": "Trocq",
+    "image": "cohencyril/trocq-deps",
+    "postAttachCommand": "make -j8 -k",
+    "customizations": {
+        "vscode": {
+            "extensions": ["ejgallego.coq-lsp", "gares.elpi-lang", "gares.coq-elpi-lang"],
+        }
+    }
+}
diff --git a/Dockerfile b/Dockerfile
deleted file mode 100644
index df434db..0000000
--- a/Dockerfile
+++ /dev/null
@@ -1,6 +0,0 @@
-FROM coqorg/coq:8.17.1
-COPY artifact-clean.zip artifact-clean.zip
-RUN eval $(opam env "--switch=${COMPILER}" --set-switch)
-RUN opam update -y
-RUN unzip artifact-clean.zip
-RUN cd artifact-clean && make
\ No newline at end of file