diff --git a/cirq-core/cirq/experiments/ghz/__init__.py b/cirq-core/cirq/contrib/ghz/__init__.py
similarity index 100%
rename from cirq-core/cirq/experiments/ghz/__init__.py
rename to cirq-core/cirq/contrib/ghz/__init__.py
diff --git a/cirq-core/cirq/contrib/ghz/fidelity.py b/cirq-core/cirq/contrib/ghz/fidelity.py
new file mode 100644
index 00000000000..4d83919adc5
--- /dev/null
+++ b/cirq-core/cirq/contrib/ghz/fidelity.py
@@ -0,0 +1,219 @@
+# Copyright 2026 The Cirq Developers
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+from __future__ import annotations
+
+from collections.abc import Sequence
+from typing import cast
+
+import numpy as np
+
+import cirq.circuits as circuits
+import cirq.contrib.paulistring.pauli_string_measurement_with_readout_mitigation as psmrm
+import cirq.ops as ops
+import cirq.work as work
+
+
+def int_to_stabilizer(
+    which_stabilizer: int, qubits: Sequence[ops.Qid], basis_ops: Sequence[ops.PauliString]
+) -> ops.PauliString:
+    """A mapping from the integers [0, ..., 2**num_qubits - 1] to GHZ stabilizers.
+
+    First, `which_stabilizer` is converted to binary. The binary digits indicate whether
+    the given basis stabilizer is present. The basis stabilizers, in order, are
+    Z0*Z1, Z1*Z2, ..., Z(N-2)*Z(N-1), X0*X1*...*X(N-1).
+
+    Args:
+        which_stabilizer: The integer to convert to a stabilizer operator.
+        qubits: The qubits in the GHZ state.
+        basis_ops: A choice of len(qubits) independent stabilizers.
+
+    Returns:
+        The stabilizer operator.
+    """
+    num_qubits = len(qubits)
+    op_to_return: ops.PauliString = ops.PauliString(ops.I(qubits[0]))
+    for q in range(num_qubits):
+        if (which_stabilizer >> q) & 1:
+            op_to_return *= basis_ops[q]
+    return op_to_return
+
+
+def generate_stabilizers(
+    stabilizer_ints: Sequence[int], qubits: Sequence[ops.Qid]
+) -> list[ops.PauliString]:
+    """Generate a list of stabilizers from a sequence of stabilizer integers.
+
+    Args:
+        stabilizer_ints: The integers from which to generate the stabilizers.
+        qubits: The qubits in the GHZ state.
+
+    Returns:
+        The list of stabilizers.
+    """
+    num_qubits = len(qubits)
+    # Precompute basis_ops once
+    XXX: ops.PauliString = ops.PauliString(dict.fromkeys(qubits, ops.X))
+    basis_ops = [
+        ops.PauliString({qubits[i]: ops.Z, qubits[i + 1]: ops.Z}) for i in range(num_qubits - 1)
+    ] + [XXX]
+
+    return [int_to_stabilizer(i, qubits, basis_ops) for i in stabilizer_ints]
+
+
+def measure_ghz_fidelity(
+    circuit: circuits.Circuit,
+    num_z_type: int,
+    num_x_type: int,
+    rng: np.random.Generator,
+    sampler: work.Sampler,
+    pauli_repetitions: int = 10_000,
+    readout_repetitions: int = 10_000,
+    num_random_bitstrings: int = 30,
+) -> GHZFidelityResult:
+    """Randomly sample z-type and x-type stabilizers of the GHZ state and measure them with and
+        without readout error mitigation.
+
+    Args:
+        circuit: The circuit that prepares the GHZ state.
+        num_z_type: The number of z-type stabilizers (all measured simultaneously)
+        num_x_type: The number of x-type stabilizers
+        sampler: The simulator or hardware sampler on which to run.
+        rng: The random number generator to use.
+        pauli_repetitions: The number of repetitions to use for measuring stabilizers.
+        readout_repetitions: The number of repetitions to use for benchmarking readout
+            (for readout error mitigation).
+        num_random_bitstrings: The number of random bitstrings for readout benchmarking
+            (for readout error mitigation). Set to 0 to skip readout benchmarking.
+    """
+    qubits = list(circuit.all_qubits())
+    n_qubits = len(qubits)
+
+    # pick random stabilizers
+    z_type_ints = cast(
+        Sequence[int], rng.choice(range(1, 2 ** (n_qubits - 1)), replace=False, size=num_z_type)
+    )
+    x_type_ints = cast(
+        Sequence[int],
+        rng.choice(2 ** (len(qubits) - 1), replace=False, size=num_x_type) + 2 ** (len(qubits) - 1),
+    )
+
+    z_type_paulis = generate_stabilizers(z_type_ints, qubits)
+    x_type_paulis = generate_stabilizers(x_type_ints, qubits)
+
+    paulis_to_measure = [z_type_paulis] + [[x] for x in x_type_paulis]
+    circuits_to_pauli = {circuit.freeze(): paulis_to_measure}
+    return GHZFidelityResult(
+        psmrm.measure_pauli_strings(
+            circuits_to_pauli,
+            sampler,
+            pauli_repetitions=pauli_repetitions,
+            readout_repetitions=readout_repetitions,
+            num_random_bitstrings=num_random_bitstrings,
+            rng_or_seed=rng,
+        )[0].results,
+        num_z_type,
+        num_x_type,
+        n_qubits,
+    )
+
+
+class GHZFidelityResult:
+    """A class for storing and analyzing the results of a GHZ fidelity benchmarking experiment."""
+
+    def __init__(
+        self,
+        data: list[psmrm.PauliStringMeasurementResult],
+        num_z_type: int,
+        num_x_type: int,
+        n_qubits: int,
+    ):
+        self.data = data
+        self.num_z_type = num_z_type
+        self.num_x_type = num_x_type
+        self.n_qubits = n_qubits
+
+    def compute_z_type_fidelity(self, mitigated: bool = True) -> tuple[float, float]:
+        """Compute the z-type fidelity and statistical uncertainty.
+
+        Args:
+            mitigated: Whether to apply readout error mitigation.
+
+        Returns:
+            Return the average of the z-type stabilizers and the uncertainty of the average.
+        """
+        z_outcomes = [
+            res.mitigated_expectation if mitigated else res.unmitigated_expectation
+            for res in self.data[: self.num_z_type]
+        ]
+
+        if self.num_z_type < 2 ** (self.n_qubits - 1) - 1:
+            dz = float(np.std(z_outcomes) / np.sqrt(self.num_z_type))
+        elif self.num_z_type == 2 ** (self.n_qubits - 1) - 1:
+            dz = (
+                np.sqrt(
+                    sum(
+                        res.mitigated_stddev**2 if mitigated else res.unmitigated_stddev**2
+                        for res in self.data[: self.num_z_type]
+                    )
+                )
+                / self.num_z_type
+            )
+
+        return float(np.mean(z_outcomes)), dz
+
+    def compute_x_type_fidelity(self, mitigated: bool = True) -> tuple[float, float]:
+        """Compute the x-type fidelity and statistical uncertainty.
+
+        Args:
+            mitigated: Whether to apply readout error mitigation.
+
+        Returns:
+            Return the average of the x-type stabilizers and the uncertainty of the average.
+        """
+        x_outcomes = [
+            res.mitigated_expectation if mitigated else res.unmitigated_expectation
+            for res in self.data[self.num_z_type :]
+        ]
+        assert len(x_outcomes) == self.num_x_type
+
+        if self.num_x_type < 2 ** (self.n_qubits - 1):
+            dx = float(np.std(x_outcomes) / np.sqrt(self.num_x_type))
+        elif self.num_x_type == 2 ** (self.n_qubits - 1):
+            dx = (
+                np.sqrt(
+                    sum(
+                        res.mitigated_stddev**2 if mitigated else res.unmitigated_stddev**2
+                        for res in self.data[self.num_z_type :]
+                    )
+                )
+                / self.num_x_type
+            )
+
+        return float(np.mean(x_outcomes)), dx
+
+    def compute_fidelity(self, mitigated: bool = True) -> tuple[float, float]:
+        """Compute the fidelity and statistical uncertainty.
+
+        Args:
+            mitigated: Whether to apply readout error mitigation.
+
+        Returns:
+            Return the average of the stabilizers and the uncertainty of the average.
+        """
+        z, dz = self.compute_z_type_fidelity(mitigated)
+        x, dx = self.compute_x_type_fidelity(mitigated)
+        return 1 / 2**self.n_qubits + (0.5 - 1 / 2**self.n_qubits) * z + 0.5 * x, np.sqrt(
+            ((0.5 - 1 / 2**self.n_qubits) * dz) ** 2 + (0.5 * dx) ** 2
+        )
diff --git a/cirq-core/cirq/contrib/ghz/fidelity_test.py b/cirq-core/cirq/contrib/ghz/fidelity_test.py
new file mode 100644
index 00000000000..cb7f3819bd1
--- /dev/null
+++ b/cirq-core/cirq/contrib/ghz/fidelity_test.py
@@ -0,0 +1,46 @@
+# Copyright 2026 The Cirq Developers
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import numpy as np
+
+import cirq.contrib.ghz.fidelity as ghz_fidelity
+import cirq.contrib.ghz.ghz_1d as ghz_1d
+import cirq.devices as devices
+import cirq.sim as sim
+
+
+def test_measure_ghz_fidelity() -> None:
+    qubits = devices.LineQubit.range(4)
+    sampler = sim.Simulator()
+    circuit = ghz_1d.generate_1d_ghz_circuit(qubits)
+    rng = np.random.default_rng()
+    result = ghz_fidelity.measure_ghz_fidelity(
+        circuit, 3, 3, rng, sampler, pauli_repetitions=100, readout_repetitions=100
+    )
+    f, df = result.compute_fidelity(mitigated=False)
+    assert f == 1.0
+    assert df == 0.0
+    f_m, df_m = result.compute_fidelity(mitigated=True)
+    assert f_m == 1.0
+    assert df_m == 0.0
+
+    result = ghz_fidelity.measure_ghz_fidelity(
+        circuit, 2**3 - 1, 2**3, rng, sampler, pauli_repetitions=100, readout_repetitions=100
+    )
+    f, df = result.compute_fidelity(mitigated=False)
+    assert f == 1.0
+    assert df == 0.0
+    f_m, df_m = result.compute_fidelity(mitigated=True)
+    assert f_m == 1.0
+    assert df_m == 0.0
diff --git a/cirq-core/cirq/experiments/ghz/ghz_1d.py b/cirq-core/cirq/contrib/ghz/ghz_1d.py
similarity index 97%
rename from cirq-core/cirq/experiments/ghz/ghz_1d.py
rename to cirq-core/cirq/contrib/ghz/ghz_1d.py
index 0fd43ec06cb..a32bc6f9714 100644
--- a/cirq-core/cirq/experiments/ghz/ghz_1d.py
+++ b/cirq-core/cirq/contrib/ghz/ghz_1d.py
@@ -12,12 +12,14 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+from collections.abc import Sequence
+
 import cirq.circuits as circuits
 import cirq.ops as ops
 import cirq.transformers as transformers
 
 
-def _create_odd_ghz(qubits: list[ops.Qid]) -> circuits.Circuit:
+def _create_odd_ghz(qubits: Sequence[ops.Qid]) -> circuits.Circuit:
     """Circuit to create a GHZ state on an odd number of qubits with 1D connectivity. Example:
 
 
@@ -77,7 +79,7 @@ def _create_odd_ghz(qubits: list[ops.Qid]) -> circuits.Circuit:
     return circuits.Circuit.from_moments(*moments)
 
 
-def _create_even_ghz(qubits: list[ops.Qid]) -> circuits.Circuit:
+def _create_even_ghz(qubits: Sequence[ops.Qid]) -> circuits.Circuit:
     """Circuit to create a GHZ state on an even number of qubits with 1D connectivity. Example:
 
 
@@ -141,7 +143,7 @@ def _create_even_ghz(qubits: list[ops.Qid]) -> circuits.Circuit:
     return circuits.Circuit.from_moments(*moments)
 
 
-def _create_ghz_from_one_end(qubits: list[ops.Qid]) -> circuits.Circuit:
+def _create_ghz_from_one_end(qubits: Sequence[ops.Qid]) -> circuits.Circuit:
     """Circuit to create a GHZ state from one end in a 1D chain. Example:
 
 
@@ -183,7 +185,7 @@ def _create_ghz_from_one_end(qubits: list[ops.Qid]) -> circuits.Circuit:
 
 
 def generate_1d_ghz_circuit(
-    qubits: list[ops.Qid],
+    qubits: Sequence[ops.Qid],
     add_dd: bool = True,
     dd_sequence: tuple[ops.Gate, ...] = (ops.X, ops.Y, ops.X, ops.Y),
     from_one_end: bool = False,
diff --git a/cirq-core/cirq/experiments/ghz/ghz_1d_test.py b/cirq-core/cirq/contrib/ghz/ghz_1d_test.py
similarity index 97%
rename from cirq-core/cirq/experiments/ghz/ghz_1d_test.py
rename to cirq-core/cirq/contrib/ghz/ghz_1d_test.py
index 43d29f54618..027062ed6a4 100644
--- a/cirq-core/cirq/experiments/ghz/ghz_1d_test.py
+++ b/cirq-core/cirq/contrib/ghz/ghz_1d_test.py
@@ -14,8 +14,8 @@
 
 import numpy as np
 
+import cirq.contrib.ghz.ghz_1d as ghz_1d
 import cirq.devices as devices
-import cirq.experiments.ghz.ghz_1d as ghz_1d
 import cirq.sim as sim
 
 
diff --git a/cirq-core/cirq/experiments/ghz/ghz_2d.py b/cirq-core/cirq/contrib/ghz/ghz_2d.py
similarity index 100%
rename from cirq-core/cirq/experiments/ghz/ghz_2d.py
rename to cirq-core/cirq/contrib/ghz/ghz_2d.py
diff --git a/cirq-core/cirq/experiments/ghz/ghz_2d_test.py b/cirq-core/cirq/contrib/ghz/ghz_2d_test.py
similarity index 99%
rename from cirq-core/cirq/experiments/ghz/ghz_2d_test.py
rename to cirq-core/cirq/contrib/ghz/ghz_2d_test.py
index ec760a6250f..55570d8d7c3 100644
--- a/cirq-core/cirq/experiments/ghz/ghz_2d_test.py
+++ b/cirq-core/cirq/contrib/ghz/ghz_2d_test.py
@@ -21,7 +21,7 @@
 import pytest
 
 import cirq
-import cirq.experiments.ghz.ghz_2d as ghz_2d
+import cirq.contrib.ghz.ghz_2d as ghz_2d
 
 
 def _create_mock_graph() -> tuple[nx.Graph, cirq.GridQubit]:
diff --git a/cirq-core/cirq/experiments/__init__.py b/cirq-core/cirq/experiments/__init__.py
index 5dbdba5d84f..8df1351d500 100644
--- a/cirq-core/cirq/experiments/__init__.py
+++ b/cirq-core/cirq/experiments/__init__.py
@@ -90,6 +90,3 @@
     z_phase_calibration_workflow as z_phase_calibration_workflow,
     calibrate_z_phases as calibrate_z_phases,
 )
-
-from cirq.experiments.ghz.ghz_2d import generate_2d_ghz_circuit as generate_2d_ghz_circuit
-from cirq.experiments.ghz.ghz_1d import generate_1d_ghz_circuit as generate_1d_ghz_circuit