If you have Telegram, you can launch
ProofBot right away.