diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 045a219ce00d511f0d43b05cd9925c23fa5c6310..f2750a73d4931be46008e6372d10dd8daf9bf8de 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -15,10 +15,13 @@ let
     mk_tests = oself.callPackage ./mk_tests.nix {};
     mk_plugin = oself.callPackage ./mk_plugin.nix {};
 
-    # Shell containing checkers (hdrck, ocp-indent)
+    # Shells containing checkers (hdrck, ocp-indent, Frama-C for plugins)
     frama-c-checkers-shell = oself.callPackage ./frama-c-checkers-shell.nix {
       git = pkgs.git ;
     };
+    plugin-checkers-shell = oself.callPackage ./plugin-checkers-shell.nix {
+      git = pkgs.git ;
+    };
 
     # Builds
     frama-c = oself.callPackage ./frama-c.nix {};
diff --git a/nix/plugin-checkers-shell.nix b/nix/plugin-checkers-shell.nix
new file mode 100644
index 0000000000000000000000000000000000000000..dfb0113011f38d97e8bd6d935846c3837132083f
--- /dev/null
+++ b/nix/plugin-checkers-shell.nix
@@ -0,0 +1,18 @@
+{ lib
+, stdenv
+, frama-c
+, git
+, gnumake
+, headache
+, ocp-indent
+} :
+stdenv.mkDerivation rec {
+  name = "plugin-checkers-shell";
+  buildInputs = [
+    frama-c
+    git
+    gnumake
+    headache
+    ocp-indent
+  ];
+}