diff --git a/pkgs/development/ocaml-modules/multicore-magic/dscheck.nix b/pkgs/development/ocaml-modules/multicore-magic/dscheck.nix
new file mode 100644
index 000000000000..28b36b422bc0
--- /dev/null
+++ b/pkgs/development/ocaml-modules/multicore-magic/dscheck.nix
@@ -0,0 +1,20 @@
+{
+  lib,
+  buildDunePackage,
+  dscheck,
+  multicore-magic,
+}:
+
+buildDunePackage {
+  pname = "multicore-magic-dscheck";
+
+  inherit (multicore-magic) src version;
+
+  propagatedBuildInputs = [
+    dscheck
+  ];
+
+  meta = multicore-magic.meta // {
+    description = "Implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic";
+  };
+}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index f82442ec2c34..5d74adccdaa9 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1323,6 +1323,7 @@ let
         multicore-bench = callPackage ../development/ocaml-modules/multicore-bench { };
 
         multicore-magic = callPackage ../development/ocaml-modules/multicore-magic { };
+        multicore-magic-dscheck = callPackage ../development/ocaml-modules/multicore-magic/dscheck.nix { };
 
         multipart_form = callPackage ../development/ocaml-modules/multipart_form { };