GLaDOS pool. Miners connect over WebSocket at /mine and speak the native protocol; the share log is at /ledger.json.