list_github_repos
List the GitHub repositories the user has switched on for oriiion (beta). Only these repos can be read. If none are switched on, tell the user to choose repos under Integrations → GitHub → Choose repos.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "list_github_repos"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||