Update tools_def.py

tools_def.py

@@ -1442,27 +1442,30 @@ TOOLS = [
     {
         "type": "function",
         "function": {
-            "name": "github_list_repos",
-            "description": "List GitHub repositories for the authenticated user",
+            "name": "actions_get",
+            "description": "Gets detailed information about a specific GitHub Actions workflow run or related Actions resource",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "sort": {"type": "string", "description": "Sort by: created, updated, pushed, full_name. Default: updated"},
-                    "per_page": {"type": "integer", "description": "Number of repositories to return, default 10"}
-                }
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "run_id": {"type": "integer", "description": "The ID of the workflow run"}
+                },
+                "required": ["owner", "repo", "run_id"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_get_repo",
-            "description": "Get detailed information about a GitHub repository",
+            "name": "actions_list",
+            "description": "Lists GitHub Actions workflows or workflow runs",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "per_page": {"type": "integer", "description": "Number of items per page"}
                 },
                 "required": ["owner", "repo"]
             }
@@ -1471,67 +1474,264 @@ TOOLS = [
     {
         "type": "function",
         "function": {
-            "name": "github_create_repo",
-            "description": "Create a new repository for the authenticated user",
+            "name": "actions_run_trigger",
+            "description": "Triggers a GitHub Actions workflow manually",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "name": {"type": "string", "description": "The name of the new repository"},
-                    "description": {"type": "string", "description": "A short description of the repository"},
-                    "private": {"type": "boolean", "description": "Whether repository is private. Default: false"},
-                    "auto_init": {"type": "boolean", "description": "Initialize repository with a README. Default: true"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "workflow_id": {"type": "string", "description": "Workflow ID or filename"},
+                    "ref": {"type": "string", "description": "Git reference (branch/tag)"},
+                    "inputs": {"type": "string", "description": "JSON inputs string"}
                 },
-                "required": ["name"]
+                "required": ["owner", "repo", "workflow_id", "ref"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_delete_repo",
-            "description": "Delete a repository owned by the authenticated user",
+            "name": "add_comment_to_pending_review",
+            "description": "Adds a comment to a pull request review that has not yet been submitted",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository to delete"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "review_id": {"type": "integer", "description": "Review ID"},
+                    "body": {"type": "string", "description": "Comment body"},
+                    "path": {"type": "string", "description": "File path"},
+                    "line": {"type": "integer", "description": "Line number"}
                 },
-                "required": ["owner", "repo"]
+                "required": ["owner", "repo", "pull_number", "review_id", "body", "path", "line"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_get_file_contents",
-            "description": "Get contents or directory listing of a file or folder in a repository",
+            "name": "add_issue_comment",
+            "description": "Adds a new comment to a GitHub Issue",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "path": {"type": "string", "description": "The content path (e.g., 'src/index.js' or '' for root)"},
-                    "ref": {"type": "string", "description": "The name of the commit/branch/tag"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "body": {"type": "string", "description": "Comment body text"}
                 },
-                "required": ["owner", "repo", "path"]
+                "required": ["owner", "repo", "issue_number", "body"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "add_issue_comment_reaction",
+            "description": "Adds a reaction to an Issue comment",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "comment_id": {"type": "integer", "description": "Comment ID"},
+                    "content": {"type": "string", "enum": ["+1", "-1", "laugh", "confused", "heart", "hooray", "rocket", "eyes"], "description": "Reaction type"}
+                },
+                "required": ["owner", "repo", "comment_id", "content"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "add_issue_reaction",
+            "description": "Adds a reaction to a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "content": {"type": "string", "enum": ["+1", "-1", "laugh", "confused", "heart", "hooray", "rocket", "eyes"], "description": "Reaction type"}
+                },
+                "required": ["owner", "repo", "issue_number", "content"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "add_pull_request_review_comment",
+            "description": "Adds a review comment to a specific part of a Pull Request's code changes",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "body": {"type": "string", "description": "Comment text"},
+                    "commit_id": {"type": "string", "description": "Commit SHA"},
+                    "path": {"type": "string", "description": "File path"},
+                    "line": {"type": "integer", "description": "Line number"}
+                },
+                "required": ["owner", "repo", "pull_number", "body", "commit_id", "path", "line"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "add_pull_request_review_comment_reaction",
+            "description": "Adds a reaction to a Pull Request review comment",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "comment_id": {"type": "integer", "description": "Comment ID"},
+                    "content": {"type": "string", "enum": ["+1", "-1", "laugh", "confused", "heart", "hooray", "rocket", "eyes"], "description": "Reaction type"}
+                },
+                "required": ["owner", "repo", "comment_id", "content"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "add_reply_to_pull_request_comment",
+            "description": "Replies directly to an existing Pull Request review comment",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "comment_id": {"type": "integer", "description": "Comment ID to reply to"},
+                    "body": {"type": "string", "description": "Reply text"}
+                },
+                "required": ["owner", "repo", "pull_number", "comment_id", "body"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "add_sub_issue",
+            "description": "Adds an Issue as a sub-issue of another Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "parent_issue_number": {"type": "integer", "description": "Parent issue number"},
+                    "sub_issue_id": {"type": "integer", "description": "Sub issue ID"}
+                },
+                "required": ["owner", "repo", "parent_issue_number", "sub_issue_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "assign_copilot_to_issue",
+            "description": "Assigns GitHub Copilot to work on a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"}
+                },
+                "required": ["owner", "repo", "issue_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "assign_copilot_to_issue_with_intent",
+            "description": "Assigns Copilot to an Issue while specifying intended work or objective",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "intent": {"type": "string", "description": "Intended objective"}
+                },
+                "required": ["owner", "repo", "issue_number", "intent"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "create_branch",
+            "description": "Creates a new Git branch from an existing branch or commit",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "branch": {"type": "string", "description": "New branch name"},
+                    "from_branch": {"type": "string", "description": "Source branch name or commit SHA"}
+                },
+                "required": ["owner", "repo", "branch"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "create_gist",
+            "description": "Creates a GitHub Gist for storing and sharing small pieces of code or text",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "description": {"type": "string", "description": "Gist description"},
+                    "public": {"type": "boolean", "description": "Whether the gist is public"},
+                    "files": {"type": "string", "description": "JSON object mapping filename to content object e.g. {'file.txt': {'content': 'hello'}}"}
+                },
+                "required": ["files"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "create_issue",
+            "description": "Creates a new GitHub Issue with information such as title, description, labels, or assignees",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "title": {"type": "string", "description": "Issue title"},
+                    "body": {"type": "string", "description": "Issue description/body"},
+                    "assignees": {"type": "string", "description": "Comma-separated list of usernames"},
+                    "labels": {"type": "string", "description": "Comma-separated list of label names"}
+                },
+                "required": ["owner", "repo", "title"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_create_or_update_file",
-            "description": "Create or update a file in a GitHub repository",
+            "name": "create_or_update_file",
+            "description": "Creates a new file in a repository or updates an existing file with new content",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "path": {"type": "string", "description": "The path to the file e.g. 'README.md' or 'src/app.py'"},
-                    "message": {"type": "string", "description": "The commit message"},
-                    "content": {"type": "string", "description": "The text content of the file"},
-                    "branch": {"type": "string", "description": "The branch name to commit to (optional)"},
-                    "sha": {"type": "string", "description": "The blob SHA of the file being replaced"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "path": {"type": "string", "description": "File path"},
+                    "message": {"type": "string", "description": "Commit message"},
+                    "content": {"type": "string", "description": "File content string"},
+                    "branch": {"type": "string", "description": "Branch name"},
+                    "sha": {"type": "string", "description": "Blob SHA if replacing existing file"}
                 },
                 "required": ["owner", "repo", "path", "message", "content"]
             }
@@ -1540,17 +1740,91 @@ TOOLS = [
     {
         "type": "function",
         "function": {
-            "name": "github_delete_file",
-            "description": "Delete a file in a GitHub repository",
+            "name": "create_pull_request",
+            "description": "Creates a new Pull Request between branches so code changes can be reviewed and merged",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "title": {"type": "string", "description": "Pull request title"},
+                    "head": {"type": "string", "description": "Head branch"},
+                    "base": {"type": "string", "description": "Base branch (e.g. main)"},
+                    "body": {"type": "string", "description": "Pull request description"},
+                    "draft": {"type": "boolean", "description": "Create as draft PR"}
+                },
+                "required": ["owner", "repo", "title", "head", "base"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "create_pull_request_review",
+            "description": "Creates a formal review on a Pull Request, such as approving it or requesting changes",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "event": {"type": "string", "enum": ["APPROVE", "REQUEST_CHANGES", "COMMENT"], "description": "Review action"},
+                    "body": {"type": "string", "description": "Review summary message"}
+                },
+                "required": ["owner", "repo", "pull_number", "event"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "create_pull_request_with_copilot",
+            "description": "Creates a Pull Request involving GitHub Copilot-assisted development when supported",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "title": {"type": "string", "description": "PR title"},
+                    "head": {"type": "string", "description": "Head branch"},
+                    "base": {"type": "string", "description": "Base branch"},
+                    "body": {"type": "string", "description": "PR body"}
+                },
+                "required": ["owner", "repo", "title", "head", "base"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "create_repository",
+            "description": "Creates a new GitHub repository for storing a project or codebase",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "name": {"type": "string", "description": "Repository name"},
+                    "description": {"type": "string", "description": "Repository description"},
+                    "private": {"type": "boolean", "description": "Whether repository is private"},
+                    "auto_init": {"type": "boolean", "description": "Initialize with README"}
+                },
+                "required": ["name"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "delete_file",
+            "description": "Deletes a specific file from a repository and records the change through Git",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "path": {"type": "string", "description": "The path to the file"},
-                    "message": {"type": "string", "description": "The commit message"},
-                    "sha": {"type": "string", "description": "The blob SHA of the file being deleted"},
-                    "branch": {"type": "string", "description": "The branch name"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "path": {"type": "string", "description": "Path to file"},
+                    "message": {"type": "string", "description": "Commit message"},
+                    "sha": {"type": "string", "description": "Blob SHA"},
+                    "branch": {"type": "string", "description": "Branch name"}
                 },
                 "required": ["owner", "repo", "path", "message", "sha"]
             }
@@ -1559,13 +1833,30 @@ TOOLS = [
     {
         "type": "function",
         "function": {
-            "name": "github_list_branches",
-            "description": "List branches in a GitHub repository",
+            "name": "delete_pending_pull_request_review",
+            "description": "Deletes an unpublished/pending Pull Request review before it is submitted",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "review_id": {"type": "integer", "description": "Review ID"}
+                },
+                "required": ["owner", "repo", "pull_number", "review_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "delete_repository",
+            "description": "Deletes an entire GitHub repository. This is a highly destructive operation",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
                 },
                 "required": ["owner", "repo"]
             }
@@ -1574,48 +1865,59 @@ TOOLS = [
     {
         "type": "function",
         "function": {
-            "name": "github_create_branch",
-            "description": "Create a new branch from an existing branch or commit SHA",
+            "name": "discussion_comment_write",
+            "description": "Writes or manages a comment in a GitHub Discussion",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "branch": {"type": "string", "description": "The name of the new branch"},
-                    "from_branch": {"type": "string", "description": "The source branch name or commit SHA to branch from"}
+                    "discussion_id": {"type": "string", "description": "Discussion node ID"},
+                    "body": {"type": "string", "description": "Comment text"}
                 },
-                "required": ["owner", "repo", "branch"]
+                "required": ["discussion_id", "body"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_list_commits",
-            "description": "List commits on a repository branch",
+            "name": "dismiss_notification",
+            "description": "Dismisses a specific GitHub notification so it no longer remains active",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "branch": {"type": "string", "description": "Branch name or SHA"},
-                    "per_page": {"type": "integer", "description": "Number of commits to return, default 5"}
+                    "thread_id": {"type": "string", "description": "Notification thread ID"}
                 },
-                "required": ["owner", "repo"]
+                "required": ["thread_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "find_duplicate_ff_duplicate_detection",
+            "description": "Helps detect whether an Issue may be a duplicate of another Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number to check"}
+                },
+                "required": ["owner", "repo", "issue_number"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_list_pull_requests",
-            "description": "List pull requests in a repository",
+            "name": "fork_repository",
+            "description": "Creates a fork of an existing GitHub repository under another account or organization",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "state": {"type": "string", "description": "State: open, closed, all. Default: open"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "organization": {"type": "string", "description": "Target organization name"}
                 },
                 "required": ["owner", "repo"]
             }
@@ -1624,118 +1926,1461 @@ TOOLS = [
     {
         "type": "function",
         "function": {
-            "name": "github_create_pull_request",
-            "description": "Create a new pull request in a GitHub repository",
+            "name": "get_code_quality_finding",
+            "description": "Retrieves information about a code-quality finding detected in a repository",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "title": {"type": "string", "description": "The title of the new pull request"},
-                    "head": {"type": "string", "description": "The name of the branch where your changes are implemented"},
-                    "base": {"type": "string", "description": "The name of the branch you want the changes pulled into (e.g. main)"},
-                    "body": {"type": "string", "description": "The contents of the pull request"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "finding_id": {"type": "string", "description": "Finding identifier"}
                 },
-                "required": ["owner", "repo", "title", "head", "base"]
+                "required": ["owner", "repo", "finding_id"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_merge_pull_request",
-            "description": "Merge a pull request in a GitHub repository",
+            "name": "get_code_scanning_alert",
+            "description": "Gets details about a specific code-scanning security alert",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "pull_number": {"type": "integer", "description": "The number of the pull request"},
-                    "commit_title": {"type": "string", "description": "Title for the merge commit"},
-                    "merge_method": {"type": "string", "description": "Merge method: merge, squash, rebase. Default: merge"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "alert_number": {"type": "integer", "description": "Alert number"}
                 },
-                "required": ["owner", "repo", "pull_number"]
+                "required": ["owner", "repo", "alert_number"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_list_issues",
-            "description": "List issues in a repository",
+            "name": "get_commit",
+            "description": "Retrieves detailed information about a specific Git commit",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "state": {"type": "string", "description": "State: open, closed, all. Default: open"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "commit_sha": {"type": "string", "description": "Commit SHA"}
                 },
-                "required": ["owner", "repo"]
+                "required": ["owner", "repo", "commit_sha"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_create_issue",
-            "description": "Create a new issue in a GitHub repository",
+            "name": "get_copilot_space",
+            "description": "Gets information about a GitHub Copilot Space",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "title": {"type": "string", "description": "The title of the issue"},
-                    "body": {"type": "string", "description": "The contents of the issue"}
+                    "space_id": {"type": "string", "description": "Copilot Space ID"}
                 },
-                "required": ["owner", "repo", "title"]
+                "required": ["space_id"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_add_issue_comment",
-            "description": "Add a comment to an issue or pull request",
+            "name": "get_dependabot_alert",
+            "description": "Retrieves details about a Dependabot vulnerability/dependency alert",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "owner": {"type": "string", "description": "The account owner of the repository"},
-                    "repo": {"type": "string", "description": "The name of the repository"},
-                    "issue_number": {"type": "integer", "description": "The number of the issue or PR"},
-                    "body": {"type": "string", "description": "The comment text"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "alert_number": {"type": "integer", "description": "Alert number"}
                 },
-                "required": ["owner", "repo", "issue_number", "body"]
+                "required": ["owner", "repo", "alert_number"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_search",
-            "description": "Search GitHub repositories, code, issues, commits or users",
+            "name": "get_discussion",
+            "description": "Gets information about a specific GitHub Discussion",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "type": {"type": "string", "description": "Search type: repositories, code, issues, commits, users"},
-                    "query": {"type": "string", "description": "Search query keyword or qualifiers"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "discussion_number": {"type": "integer", "description": "Discussion number"}
                 },
-                "required": ["type", "query"]
+                "required": ["owner", "repo", "discussion_number"]
             }
         }
     },
     {
         "type": "function",
         "function": {
-            "name": "github_api_request",
-            "description": "Execute any generic GitHub REST API endpoint",
+            "name": "get_discussion_comments",
+            "description": "Retrieves comments belonging to a GitHub Discussion",
             "parameters": {
                 "type": "object",
                 "properties": {
-                    "endpoint": {"type": "string", "description": "Relative endpoint path starting with / e.g. '/user'"},
-                    "method": {"type": "string", "description": "HTTP method: GET, POST, PATCH, PUT, DELETE. Default: GET"},
-                    "body_json": {"type": "string", "description": "JSON string body for POST/PATCH/PUT requests"}
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "discussion_number": {"type": "integer", "description": "Discussion number"}
                 },
-                "required": ["endpoint"]
+                "required": ["owner", "repo", "discussion_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_file_blame",
+            "description": "Shows which commit or contributor is responsible for individual lines of a file",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "path": {"type": "string", "description": "Path to file"},
+                    "ref": {"type": "string", "description": "Git ref/branch"}
+                },
+                "required": ["owner", "repo", "path"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_file_contents",
+            "description": "Reads the contents of a file from a GitHub repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "path": {"type": "string", "description": "Path to file or folder"},
+                    "ref": {"type": "string", "description": "Branch, tag, or commit SHA"}
+                },
+                "required": ["owner", "repo", "path"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_gist",
+            "description": "Retrieves the contents and information of a specific GitHub Gist",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "gist_id": {"type": "string", "description": "The ID of the gist"}
+                },
+                "required": ["gist_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_global_security_advisory",
+            "description": "Gets information about a GitHub global security advisory",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "ghsa_id": {"type": "string", "description": "GHSA identifier"}
+                },
+                "required": ["ghsa_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_job_logs",
+            "description": "Retrieves logs from a GitHub Actions job, useful for diagnosing failed workflows",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "job_id": {"type": "integer", "description": "Job ID"}
+                },
+                "required": ["owner", "repo", "job_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_label",
+            "description": "Gets information about a specific GitHub Issue/Pull Request label",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "name": {"type": "string", "description": "Label name"}
+                },
+                "required": ["owner", "repo", "name"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_latest_release",
+            "description": "Gets information about the latest release published by a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_me",
+            "description": "Gets information about the currently authenticated GitHub user",
+            "parameters": {
+                "type": "object",
+                "properties": {}
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_notification_details",
+            "description": "Gets detailed information about a specific GitHub notification",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "thread_id": {"type": "string", "description": "Notification thread ID"}
+                },
+                "required": ["thread_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_release_by_tag",
+            "description": "Gets a GitHub Release associated with a specific tag",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "tag": {"type": "string", "description": "Tag name"}
+                },
+                "required": ["owner", "repo", "tag"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_repository_tree",
+            "description": "Retrieves the directory/file tree of a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "tree_sha": {"type": "string", "description": "Tree SHA or branch name"},
+                    "recursive": {"type": "boolean", "description": "Fetch tree recursively"}
+                },
+                "required": ["owner", "repo", "tree_sha"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_secret_scanning_alert",
+            "description": "Gets details about a secret detected by GitHub Secret Scanning",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "alert_number": {"type": "integer", "description": "Secret alert number"}
+                },
+                "required": ["owner", "repo", "alert_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_tag",
+            "description": "Gets information about a specific Git tag",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "tag_sha": {"type": "string", "description": "Tag SHA"}
+                },
+                "required": ["owner", "repo", "tag_sha"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_team_members",
+            "description": "Lists members belonging to a GitHub team",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "org": {"type": "string", "description": "Organization slug"},
+                    "team_slug": {"type": "string", "description": "Team slug"}
+                },
+                "required": ["org", "team_slug"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "get_teams",
+            "description": "Gets teams associated with an organization",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "org": {"type": "string", "description": "Organization slug"}
+                },
+                "required": ["org"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "github_support_docs_search",
+            "description": "Searches GitHub documentation and support information",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Documentation search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "issue_dependency_read_ff_issue_dependencies",
+            "description": "Reads dependency relationships between GitHub Issues",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"}
+                },
+                "required": ["owner", "repo", "issue_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "issue_dependency_write_ff_issue_dependencies",
+            "description": "Creates or modifies dependency relationships between Issues",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "blocked_by_issue_number": {"type": "integer", "description": "Issue number blocking this issue"}
+                },
+                "required": ["owner", "repo", "issue_number", "blocked_by_issue_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "issue_read",
+            "description": "Reads detailed information about a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"}
+                },
+                "required": ["owner", "repo", "issue_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "issue_write",
+            "description": "Creates or modifies Issue information through a broader Issue-management operation",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Optional issue number to update"},
+                    "title": {"type": "string", "description": "Issue title"},
+                    "body": {"type": "string", "description": "Issue body"},
+                    "state": {"type": "string", "enum": ["open", "closed"], "description": "Issue state"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "label_write",
+            "description": "Creates, updates, or manages labels used by Issues and Pull Requests",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "name": {"type": "string", "description": "Label name"},
+                    "color": {"type": "string", "description": "6-character hex code without #"},
+                    "description": {"type": "string", "description": "Label description"},
+                    "new_name": {"type": "string", "description": "Optional new name for updating"}
+                },
+                "required": ["owner", "repo", "name"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_branches",
+            "description": "Lists branches available in a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "per_page": {"type": "integer", "description": "Results per page"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_code_scanning_alerts",
+            "description": "Lists code-scanning security alerts for a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "state": {"type": "string", "enum": ["open", "closed", "dismissed", "fixed"], "description": "Alert state"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_commits",
+            "description": "Lists commits from a repository, allowing the AI to inspect project history",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "branch": {"type": "string", "description": "Branch name or SHA"},
+                    "per_page": {"type": "integer", "description": "Number of commits, default 10"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_copilot_spaces",
+            "description": "Lists available GitHub Copilot Spaces",
+            "parameters": {
+                "type": "object",
+                "properties": {}
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_dependabot_alerts",
+            "description": "Lists dependency/security alerts detected by Dependabot",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "state": {"type": "string", "enum": ["auto_dismissed", "dismissed", "fixed", "open"], "description": "Alert state"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_discussion_categories",
+            "description": "Lists categories available for GitHub Discussions",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_discussions",
+            "description": "Lists Discussions in a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "per_page": {"type": "integer", "description": "Items per page"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_gists",
+            "description": "Lists Gists available to the authenticated user",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "per_page": {"type": "integer", "description": "Number of gists, default 10"}
+                }
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_global_security_advisories",
+            "description": "Lists security advisories available through GitHub's global advisory database",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "ecosystem": {"type": "string", "description": "Ecosystem e.g. npm, pip, maven"},
+                    "severity": {"type": "string", "enum": ["low", "medium", "high", "critical"], "description": "Severity level"}
+                }
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_issue_fields",
+            "description": "Lists available custom fields associated with Issues or issue-management systems",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_issue_types",
+            "description": "Lists available Issue types",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_issues",
+            "description": "Lists Issues from a repository according to filters such as state or labels",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "state": {"type": "string", "enum": ["open", "closed", "all"], "description": "State filter"},
+                    "labels": {"type": "string", "description": "Comma-separated label names"},
+                    "per_page": {"type": "integer", "description": "Number of issues"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_label",
+            "description": "Lists labels available in a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_notifications",
+            "description": "Lists GitHub notifications for the authenticated user",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "all": {"type": "boolean", "description": "Show all notifications including read"},
+                    "participating": {"type": "boolean", "description": "Only notifications participating in"}
+                }
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_org_repository_security_advisories",
+            "description": "Lists security advisories associated with repositories in an organization",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "org": {"type": "string", "description": "Organization name"}
+                },
+                "required": ["org"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_pull_requests",
+            "description": "Lists Pull Requests from a repository, including their state and metadata",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "state": {"type": "string", "enum": ["open", "closed", "all"], "description": "PR state"},
+                    "per_page": {"type": "integer", "description": "Number of PRs"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_releases",
+            "description": "Lists releases published by a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "per_page": {"type": "integer", "description": "Releases count"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_repository_collaborators",
+            "description": "Lists users who have collaboration/access permissions on a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_repository_security_advisories",
+            "description": "Lists security advisories associated with a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_secret_scanning_alerts",
+            "description": "Lists secrets detected by GitHub Secret Scanning",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "state": {"type": "string", "enum": ["open", "resolved"], "description": "Secret state"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_starred_repositories",
+            "description": "Lists repositories that the authenticated user has starred",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "per_page": {"type": "integer", "description": "Number of repos"}
+                }
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "list_tags",
+            "description": "Lists Git tags belonging to a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "manage_notification_subscription",
+            "description": "Changes notification subscription settings for a GitHub notification/thread",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "thread_id": {"type": "string", "description": "Notification thread ID"},
+                    "subscribed": {"type": "boolean", "description": "Whether subscribed"},
+                    "ignored": {"type": "boolean", "description": "Whether ignored"}
+                },
+                "required": ["thread_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "manage_repository_notification_subscription",
+            "description": "Manages notification subscription settings for a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "subscribed": {"type": "boolean", "description": "Whether subscribed"},
+                    "ignored": {"type": "boolean", "description": "Whether ignored"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "mark_all_notifications_read",
+            "description": "Marks all available GitHub notifications as read",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "last_read_at": {"type": "string", "description": "ISO timestamp"}
+                }
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "merge_pull_request",
+            "description": "Merges a Pull Request into its target branch",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "commit_title": {"type": "string", "description": "Title for merge commit"},
+                    "commit_message": {"type": "string", "description": "Extra merge commit message"},
+                    "merge_method": {"type": "string", "enum": ["merge", "squash", "rebase"], "description": "Merge strategy"}
+                },
+                "required": ["owner", "repo", "pull_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "projects_get",
+            "description": "Gets details about a GitHub Project",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "project_id": {"type": "string", "description": "Project ID"}
+                },
+                "required": ["project_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "projects_list",
+            "description": "Lists GitHub Projects available in the relevant account, organization, or repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "User or organization login"}
+                },
+                "required": ["owner"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "projects_write",
+            "description": "Creates or updates information in a GitHub Project",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "project_id": {"type": "string", "description": "Optional project ID to update"},
+                    "title": {"type": "string", "description": "Project title"},
+                    "body": {"type": "string", "description": "Project body"}
+                },
+                "required": ["title"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "pull_request_read",
+            "description": "Reads detailed information about a Pull Request",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"}
+                },
+                "required": ["owner", "repo", "pull_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "pull_request_review_write",
+            "description": "Creates or updates a Pull Request review",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "event": {"type": "string", "enum": ["APPROVE", "REQUEST_CHANGES", "COMMENT"], "description": "Review action"},
+                    "body": {"type": "string", "description": "Review comment body"}
+                },
+                "required": ["owner", "repo", "pull_number", "event"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "push_files",
+            "description": "Pushes one or more file changes to a GitHub repository atomically",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "branch": {"type": "string", "description": "Branch name"},
+                    "message": {"type": "string", "description": "Commit message"},
+                    "files": {"type": "string", "description": "JSON array of file objects e.g. [{'path': 'README.md', 'content': 'hello'}]"}
+                },
+                "required": ["owner", "repo", "branch", "message", "files"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "remove_sub_issue",
+            "description": "Removes a sub-issue relationship from a parent Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "parent_issue_number": {"type": "integer", "description": "Parent issue number"},
+                    "sub_issue_id": {"type": "integer", "description": "Sub-issue ID"}
+                },
+                "required": ["owner", "repo", "parent_issue_number", "sub_issue_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "reprioritize_sub_issue",
+            "description": "Changes the order/priority of sub-issues within a parent Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "parent_issue_number": {"type": "integer", "description": "Parent issue number"},
+                    "sub_issue_id": {"type": "integer", "description": "Sub-issue ID"},
+                    "after_id": {"type": "integer", "description": "ID to place after"}
+                },
+                "required": ["owner", "repo", "parent_issue_number", "sub_issue_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "request_copilot_review",
+            "description": "Requests a GitHub Copilot review of a Pull Request when supported",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"}
+                },
+                "required": ["owner", "repo", "pull_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "request_pull_request_reviewers",
+            "description": "Requests specific users or teams to review a Pull Request",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "reviewers": {"type": "string", "description": "Comma-separated usernames"},
+                    "team_reviewers": {"type": "string", "description": "Comma-separated team slugs"}
+                },
+                "required": ["owner", "repo", "pull_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "resolve_review_thread",
+            "description": "Marks a Pull Request review conversation thread as resolved",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "thread_id": {"type": "string", "description": "Thread node ID"}
+                },
+                "required": ["thread_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_code",
+            "description": "Searches code across GitHub repositories according to available search scope",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Code search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_commits",
+            "description": "Searches GitHub commit history using search criteria",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Commit search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_issues",
+            "description": "Searches GitHub Issues",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Issue search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_orgs",
+            "description": "Searches for GitHub organizations",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Organization search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_pull_requests",
+            "description": "Searches Pull Requests across the available GitHub scope",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Pull request search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_repositories",
+            "description": "Searches GitHub repositories by name, description, topics, or other criteria",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "Repository search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "search_users",
+            "description": "Searches for GitHub users",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "query": {"type": "string", "description": "User search query"}
+                },
+                "required": ["query"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "set_issue_fields",
+            "description": "Sets custom or structured fields associated with an Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "fields": {"type": "string", "description": "JSON object of field key-values"}
+                },
+                "required": ["owner", "repo", "issue_number", "fields"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "star_repository",
+            "description": "Stars a GitHub repository using the authenticated account",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "sub_issue_write",
+            "description": "Creates or modifies sub-issue relationships",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "parent_issue_number": {"type": "integer", "description": "Parent issue number"},
+                    "sub_issue_id": {"type": "integer", "description": "Sub issue ID"}
+                },
+                "required": ["owner", "repo", "parent_issue_number", "sub_issue_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "submit_pending_pull_request_review",
+            "description": "Submits a Pull Request review that was previously saved as pending",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "review_id": {"type": "integer", "description": "Review ID"},
+                    "event": {"type": "string", "enum": ["APPROVE", "REQUEST_CHANGES", "COMMENT"], "description": "Review action"},
+                    "body": {"type": "string", "description": "Review summary"}
+                },
+                "required": ["owner", "repo", "pull_number", "review_id", "event"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "ui_get",
+            "description": "Retrieves supported GitHub UI-related information or context exposed through the connector",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "resource": {"type": "string", "description": "UI resource identifier"}
+                },
+                "required": ["resource"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "unresolve_review_thread",
+            "description": "Reopens a previously resolved Pull Request review thread",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "thread_id": {"type": "string", "description": "Thread node ID"}
+                },
+                "required": ["thread_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "unstar_repository",
+            "description": "Removes the authenticated user's star from a repository",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"}
+                },
+                "required": ["owner", "repo"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_gist",
+            "description": "Updates the content or metadata of an existing GitHub Gist",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "gist_id": {"type": "string", "description": "Gist ID"},
+                    "description": {"type": "string", "description": "New description"},
+                    "files": {"type": "string", "description": "JSON object of updated files"}
+                },
+                "required": ["gist_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_assignees",
+            "description": "Changes the users assigned to a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "assignees": {"type": "string", "description": "Comma-separated usernames"}
+                },
+                "required": ["owner", "repo", "issue_number", "assignees"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_body",
+            "description": "Updates the description/body of a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "body": {"type": "string", "description": "New body content"}
+                },
+                "required": ["owner", "repo", "issue_number", "body"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_labels",
+            "description": "Adds, removes, or changes labels on a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "labels": {"type": "string", "description": "Comma-separated label names"}
+                },
+                "required": ["owner", "repo", "issue_number", "labels"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_milestone",
+            "description": "Changes the milestone associated with a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "milestone": {"type": "integer", "description": "Milestone number"}
+                },
+                "required": ["owner", "repo", "issue_number", "milestone"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_state",
+            "description": "Changes an Issue's state, such as open or closed",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "state": {"type": "string", "enum": ["open", "closed"], "description": "New state"}
+                },
+                "required": ["owner", "repo", "issue_number", "state"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_title",
+            "description": "Changes the title of a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "title": {"type": "string", "description": "New title"}
+                },
+                "required": ["owner", "repo", "issue_number", "title"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_issue_type",
+            "description": "Changes the type/category assigned to a GitHub Issue",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "issue_number": {"type": "integer", "description": "Issue number"},
+                    "issue_type": {"type": "string", "description": "Issue type"}
+                },
+                "required": ["owner", "repo", "issue_number", "issue_type"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_pull_request",
+            "description": "Updates general Pull Request information using supported fields",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "title": {"type": "string", "description": "New PR title"},
+                    "body": {"type": "string", "description": "New PR body"},
+                    "state": {"type": "string", "enum": ["open", "closed"], "description": "New PR state"},
+                    "base": {"type": "string", "description": "New base branch"}
+                },
+                "required": ["owner", "repo", "pull_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_pull_request_body",
+            "description": "Changes the description/body of a Pull Request",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "body": {"type": "string", "description": "New PR body"}
+                },
+                "required": ["owner", "repo", "pull_number", "body"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_pull_request_branch",
+            "description": "Updates the branch-related configuration of a Pull Request",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "expected_head_sha": {"type": "string", "description": "Expected head SHA"}
+                },
+                "required": ["owner", "repo", "pull_number"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_pull_request_draft_state",
+            "description": "Changes whether a Pull Request is in Draft mode",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "pull_request_id": {"type": "string", "description": "Pull Request node ID"}
+                },
+                "required": ["pull_request_id"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_pull_request_state",
+            "description": "Changes the state of a Pull Request, such as opening or closing it",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "state": {"type": "string", "enum": ["open", "closed"], "description": "New state"}
+                },
+                "required": ["owner", "repo", "pull_number", "state"]
+            }
+        }
+    },
+    {
+        "type": "function",
+        "function": {
+            "name": "update_pull_request_title",
+            "description": "Changes the title of a Pull Request",
+            "parameters": {
+                "type": "object",
+                "properties": {
+                    "owner": {"type": "string", "description": "Repository owner"},
+                    "repo": {"type": "string", "description": "Repository name"},
+                    "pull_number": {"type": "integer", "description": "Pull request number"},
+                    "title": {"type": "string", "description": "New PR title"}
+                },
+                "required": ["owner", "repo", "pull_number", "title"]
             }
         }
     },