lgproof.xyz is connected to LeadGranite.