catalog / protocols

WebSocket

A persistent bidirectional connection, from handshake to graceful close.

16 capabilities 7 sections reference specification

Build against it

# give your agent the catalog — no account, no install
claude mcp add provespec -- npx -y provespec-mcp

# then, from any agent session
spec_get(slug: "websocket")                → the capability tree
spec_checklist(slug: "websocket")          → the questions to answer
spec_grade(slug: "websocket", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/websocket/spec.json

Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.

Or just paste this to your agent

Use the ProveSpec MCP server. Fetch the "websocket" spec with
spec_get, then walk spec_checklist and grade this repository against it —
one verdict per capability, each with a file reference as the note.
Call spec_grade with the results and give me the gap list as the plan.

If the server is not registered, add it first:
  claude mcp add provespec -- npx -y provespec-mcp

The specification

Handshake 4

  • ✓ HTTP Upgrade with Sec-WebSocket-Key server returns the derived Accept
  • ✓ Subprotocol negotiation Sec-WebSocket-Protocol
  • ✓ Extension negotiation permessage-deflate
  • ✓ Origin checked by the server browsers do not enforce same-origin here

Framing 4

  • ✓ Text and binary frames text is valid UTF-8
  • ✓ Fragmentation and continuation frames
  • ✓ Client-to-server frames are masked
  • ✓ Maximum message size enforced oversized messages close the connection

Liveness 2

  • ✓ Ping and pong frames unsolicited pong allowed
  • ✓ Idle timeout with heartbeat

Close 2

  • ✓ Close frame with a status code and reason 1000, 1001, 1006…
  • ✓ Both sides complete the closing handshake

Reconnection 2

  • ✓ Client backs off exponentially with jitter
  • ✓ Session resume or replay after reconnect stated guarantee

Backpressure 1

  • ✓ Send buffer bounded; slow consumers handled drop, queue or disconnect — stated

Security 1

  • ✓ wss in production; auth at or before the handshake
Open in Parity → Download spec.json All 102 specs