github-mcp/tools.json at main · ankitha-km/github-mcp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
[
  {
    "name": "create_repo",
    "description": "Create a GitHub repository",
    "parameters": {
      "name": "string"
    }
  },
  {
    "name": "push_file",
    "description": "Push a file to repository",
    "parameters": {
      "repo": "string",
      "path": "string",
      "content": "string",
      "message": "string"
    }
  },

  {
    "name": "list_repos",
    "description": "List all github repositories",
    "parameters": {}

  },

  {
    "name": "get_file",
    "descritpion": "Get file content from repo",
    "parameters": {
      "repo": "string",
      "path": "string"
    }
  },

  {
    "name": "check_repo",
    "description": "Check if a specific GitHub repository exists",
    "parameters": {
      "name": "string"
    }
  },
  {
    "name": "list_files",
    "description": "List all files in a GitHub repository",
    "parameters": {
        "repo": "string",
        "path": "string"
    }
},
{
    "name": "rename_file",
    "description": "Rename a file in a GitHub repository",
    "parameters": {
        "repo": "string",
        "old_path": "string",
        "new_path": "string",
        "message": "string"
    }
},
{
    "name": "edit_file",
    "description": "Edit or update the content of a file in a GitHub repository",
    "parameters": {
        "repo": "string",
        "path": "string",
        "new_content": "string",
        "message": "string"
    }
},
{
    "name": "rename_repo",
    "description": "Rename a GitHub repository",
    "parameters": {
        "old_name": "string",
        "new_name": "string"
    }
},
{
    "name": "delete_file",
    "description": "Delete a file from a GitHub repository",
    "parameters": {
        "repo": "string",
        "path": "string",
        "message": "string"
    }
},
{
    "name": "delete_repo",
    "description": "Delete a GitHub repository permanently",
    "parameters": {
        "name": "string"
    }
},
{
    "name": "create_branch",
    "description": "Create a new branch in a GitHub repository",
    "parameters": {
        "repo": "string",
        "branch_name": "string",
        "from_branch": "string"
    }
}
]