GIMPS

Free
Mersenne Prime numbers can be found and tested for primality using Lucas-Lehmer test.