Issues with seahorn.live access could stem from improper redirect settings between different versions of the site. Check the following links for alternative routes:

http://seahorn.live http://www.seahorn.live https://seahorn.live https://www.seahorn.live

Or return to the current status page of seahorn.live.