{
  "name": "discord_edit_message",
  "description": "Edit a message previously sent by the bot in a Discord channel.",
  "method": "PATCH",
  "url": "$AGENT_GATEWAY_URL/api/v1/messages/{message_id}",
  "headers": {
    "Authorization": "Bearer $AGENT_GATEWAY_API_KEY",
    "Content-Type": "application/json"
  },
  "parameters": {
    "type": "object",
    "properties": {
      "channel_id": {
        "type": "string",
        "description": "The Discord channel ID"
      },
      "message_id": {
        "type": "string",
        "description": "The message ID to edit"
      },
      "content": {
        "type": "string",
        "description": "The new message content"
      }
    },
    "required": ["channel_id", "message_id", "content"]
  },
  "body_mapping": "params",
  "body_defaults": {
    "platform": "discord"
  }
}
