diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix
index 09071e5..32844bf 100644
--- a/shells/why3-dev/flake.nix
+++ b/shells/why3-dev/flake.nix
@@ -17,14 +17,21 @@
         in
         pkgs.mkShell {
           packages = with pkgs; [
+            # Build elements
             autoconf
             ocaml
+            ocamlPackages.ocaml-lsp
             ocamlPackages.findlib
             ocamlPackages.menhir
             ocamlPackages.menhirLib
             ocamlPackages.zarith
             ocamlPackages.lablgtk3
             ocamlPackages.lablgtk3-sourceview3
+
+            # Available provers
+            # alt-ergo
+            cvc5
+            z3
           ];
         };
     };