A minimal remote MCP server (Streamable HTTP, spec 2025-11-25).
MCP endpoint: /mcp (POST) · health: /healthz
/mcp
/healthz
One tool: double(number) → number × 2.
double(number)