SPF DNS Authentication Guide
What does an SPF checker validate?
It reads the domain SPF TXT record and checks whether sender authorization policy exists, is unique and is strict enough for mail delivery.
Why is -all stronger than ~all?
-all tells receivers that unauthorized senders should fail, while ~all is a softfail policy often treated as less strict.