: mcp stream open — this server pushes no notifications