diff --git a/bin/__dispatch.sh b/bin/__dispatch.sh
index 6eb24beaf..d06860e6c 100755
--- a/bin/__dispatch.sh
+++ b/bin/__dispatch.sh
@@ -61,6 +61,10 @@ case "${TARGET_TOOL}" in
   depotfmt)
     attr="tools.depotfmt"
     ;;
+  tf-glesys)
+    TARGET_TOOL="terraform"
+    attr="ops.glesys.terraform"
+    ;;
   *)
     echo "The tool '${TARGET_TOOL}' is currently not installed in this repository."
     exit 1
diff --git a/bin/tf-glesys b/bin/tf-glesys
new file mode 120000
index 000000000..8390ec9c9
--- /dev/null
+++ b/bin/tf-glesys
@@ -0,0 +1 @@
+__dispatch.sh
\ No newline at end of file
diff --git a/ops/glesys/default.nix b/ops/glesys/default.nix
new file mode 100644
index 000000000..f4c0478c5
--- /dev/null
+++ b/ops/glesys/default.nix
@@ -0,0 +1,8 @@
+{ depot, pkgs, ... }:
+
+depot.nix.readTree.drvTargets {
+  # Provide a Terraform wrapper with the right provider installed.
+  terraform = pkgs.terraform.withPlugins(_: [
+    depot.third_party.terraform-provider-glesys
+  ]);
+}