http-header

An HTTP header, used when connecting to MCP HTTP/SSE servers.

record http-header {
  name: string,
  value: string,
}