{
  "name": "create_pull_request",
  "description": "Create a new pull request in a GitHub repository.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "base": {
        "type": "string",
        "description": "Branch to merge into"
      },
      "body": {
        "type": "string",
        "description": "PR description"
      },
      "draft": {
        "type": "boolean",
        "description": "Create as draft PR"
      },
      "head": {
        "type": "string",
        "description": "Branch containing changes"
      },
      "maintainer_can_modify": {
        "type": "boolean",
        "description": "Allow maintainer edits"
      },
      "owner": {
        "type": "string",
        "description": "Repository owner"
      },
      "repo": {
        "type": "string",
        "description": "Repository name"
      },
      "reviewers": {
        "type": "array",
        "items": {
          "type": "string"
        },
        "description": "GitHub usernames or ORG/team-slug team reviewers to request reviews from"
      },
      "title": {
        "type": "string",
        "description": "PR title"
      }
    },
    "required": [
      "owner",
      "repo",
      "title",
      "head",
      "base"
    ]
  }
}