Use idiomatic HTTP casing in Python and TypeScript type names

Rename MCPHttpServerConfig to MCPHTTPServerConfig in Python (matching
stdlib convention: HTTPServer, HTTPError) and TypeScript (matching
the all-caps treatment of MCP already in use).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: stephentoub

nodejs/src/index.ts

@@ -31,7 +31,7 @@ export type {
     InfiniteSessionConfig,
     InputOptions,
     MCPStdioServerConfig,
-    MCPHttpServerConfig,
+    MCPHTTPServerConfig,
     MCPServerConfig,
     MessageOptions,
     ModelBilling,

nodejs/src/types.ts

@@ -951,7 +951,7 @@ export interface MCPStdioServerConfig extends MCPServerConfigBase {
 /**
  * Configuration for a remote MCP server (HTTP or SSE).
  */
-export interface MCPHttpServerConfig extends MCPServerConfigBase {
+export interface MCPHTTPServerConfig extends MCPServerConfigBase {
     type: "http" | "sse";
     /**
      * URL of the remote server.
@@ -966,7 +966,7 @@ export interface MCPHttpServerConfig extends MCPServerConfigBase {
 /**
  * Union type for MCP server configurations.
  */
-export type MCPServerConfig = MCPStdioServerConfig | MCPHttpServerConfig;
+export type MCPServerConfig = MCPStdioServerConfig | MCPHTTPServerConfig;
 
 // ============================================================================
 // Custom Agent Configuration Types

python/copilot/session.py

@@ -737,7 +737,7 @@ class MCPStdioServerConfig(TypedDict, total=False):
     cwd: NotRequired[str]  # Working directory
 
 
-class MCPHttpServerConfig(TypedDict, total=False):
+class MCPHTTPServerConfig(TypedDict, total=False):
     """Configuration for a remote MCP server (HTTP or SSE)."""
 
     tools: list[str]  # List of tools to include. [] means none. "*" means all.
@@ -747,7 +747,7 @@ class MCPHttpServerConfig(TypedDict, total=False):
     headers: NotRequired[dict[str, str]]  # HTTP headers
 
 
-MCPServerConfig = MCPStdioServerConfig | MCPHttpServerConfig
+MCPServerConfig = MCPStdioServerConfig | MCPHTTPServerConfig
 
 # ============================================================================
 # Custom Agent Configuration Types