diff --git a/spec/shell.nix b/spec/shell.nix
new file mode 100644
index 0000000000000000000000000000000000000000..0f2987e5dced529fa96c1bfa65ad9843276c6fe0
--- /dev/null
+++ b/spec/shell.nix
@@ -0,0 +1,23 @@
+/* 
+ * This file is a nix expression which can be used to get an isolated
+ * development environemt.
+ *
+ * When the nix package manager is installed run 
+ *  > nix-shell ./scripts/dev-env.nix 
+ * to get a shell with the dependenies of veriT present. This was only tested
+ * on NixOS, but should work on other platforms which are supported by the Nix
+ * packagemanger (such as MacOS X) too.
+ */
+
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.stdenvNoCC.mkDerivation {
+  name = "alethe";
+
+  hardeningDisable = [ "all" ];
+  buildInputs = with pkgs; [
+    gnumake
+    entr
+    python39Packages.pygments
+	];
+}