fn sdk_tool_name(server: &str, tool: &str) -> StringExpand description
One tool’s name as the CLI spells it for an sdk server. Both the names a
spawn expects and the init frame’s filter are built here, so the two
cannot disagree about the shape; the empty tool spells the prefix.