diff --git a/machines/x2100/home-julien.nix b/machines/x2100/home-julien.nix
index 0101dea..1db5b04 100644
--- a/machines/x2100/home-julien.nix
+++ b/machines/x2100/home-julien.nix
@@ -63,6 +63,7 @@
           element-desktop
           xdg-utils
           sops
+          step-cli
           coq
           cvc5
           coqPackages.coqide