tools.set_user_timezone module

Set or update a user’s IANA timezone in Redis.

async tools.set_user_timezone.run(timezone, user_id=None, ctx=None, **_kwargs)

Execute the tool to set user timezone in Redis.

Parameters:

• timezone (str) – Valid IANA timezone name.

• user_id (str | None) – Optional target user ID.

• ctx (ToolContext | None) – Tool context injection.

Returns:

JSON-serialized result.

Return type:

str