El proyecto utiliza principalmente el Test de Lucas-Lehmer, un algoritmo especializado en el análisis de la primalidad de números de Mersenne y especialmente eficiente en arquitecturas informáticas binarias.