diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 00000000..eb69f80b
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,10 @@
+mage: leanprovercommunity/mathlib:gitpod
+
+vscode:
+  extensions:
+    - leanprover.lean4
+
+tasks:
+  - init: |
+      elan self update
+      lake exe cache get