WebSocket library and manager