{
  "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": {
    "properties": {
      "body": {
        "description": "Comment content",
        "type": "string"
      },
      "issue_number": {
        "description": "Issue number to comment on",
        "type": "number"
      },
      "owner": {
        "description": "Repository owner",
        "type": "string"
      },
      "repo": {
        "description": "Repository name",
        "type": "string"
      }
    },
    "required": [
      "owner",
      "repo",
      "issue_number",
      "body"
    ],
    "type": "object"
  },
  "name": "add_issue_comment"
}