Function: get_user_id
This tool belongs to the Message API, which is used to manage user interactions in a workspace. Tool description: Get user ID from user name.
Parameters: user: type: string
description: User name of the user. 
Required parameters: user
Response: user_id: type: string
description: User ID of the user