JSON-RPC protocol via websockets.