{
"id": "tool-descriptor:github.add-issue-comment",
"_kind": "ToolDescriptor",
"_file": "extensions/tool-descriptors/github-mcp-tools.yaml",
"_cluster": "extensions",
"attributes": {
"schema": "{}",
"displayName": "GitHub: Add Issue Comment",
"description": "Add a comment to an issue or pull request.",
"inputSchema": {
"type": "object",
"required": [
"owner",
"repo",
"issue_number",
"body"
],
"properties": {
"owner": {
"type": "string"
},
"repo": {
"type": "string"
},
"issue_number": {
"type": "integer"
},
"body": {
"type": "string"
}
}
},
"outputSchema": {
"type": "object",
"properties": {
"id": {
"type": "integer"
}
}
},
"mode": "normal",
"streamable": false,
"timeoutMs": 30000
},
"outgoingEdges": [
{
"from": "tool-descriptor:github.add-issue-comment",
"to": "tool-server:mcp-github",
"kind": "contained_in_plugin",
"attributes": {}
}
],
"incomingEdges": [
{
"from": "tool-server:mcp-github",
"to": "tool-descriptor:github.add-issue-comment",
"kind": "contains_tool_descriptor",
"attributes": {}
},
{
"from": "tool-server:github-issues-mcp",
"to": "tool-descriptor:github.add-issue-comment",
"kind": "contains_tool_descriptor",
"attributes": {}
}
]
}