Cluster correctness prover