tools.discord_leave_server module

Leave a Discord server.

async tools.discord_leave_server.run(server_id, ctx=None)[source]

Execute this tool and return the result.

Parameters:
  • server_id (str) – The server id value.

  • ctx (ToolContext | None) – Tool execution context providing access to bot internals.

Returns:

Result string.

Return type:

str