{
  "annotations": {
    "title": "Add comment to issue"
  },
  "description": "Add a comment to a specific issue in a GitHub repository. Use this tool to add comments to pull requests as well (in this case pass pull request number as issue_number), but only if user is not asking specifically to add review comments.",
  "inputSchema": {
    "type": "object",
    "required": [
      "owner",
      "repo",
      "issue_number",
      "body"
    ],
    "properties": {
      "body": {
        "type": "string",
        "description": "Comment content"
      },
      "issue_number": {
        "type": "number",
        "description": "Issue number to comment on"
      },
      "owner": {
        "type": "string",
        "description": "Repository owner"
      },
      "repo": {
        "type": "string",
        "description": "Repository name"
      }
    }
  },
  "name": "add_issue_comment"
}