Server detail
One server: its endpoint, a connection test, the tools it exposes with a switch each, and its settings.
Template for/servers/:id
GitHubRouted just now
| Tool | Description | Calls 24h | Enabled |
|---|---|---|---|
| search_repositories | Search GitHub repositories by name, topic or owner | 212 | |
| get_file_contents | Read a file or list a directory at a ref | 188 | |
| create_issue | Open an issue in a repository | 312 | |
| list_pull_requests | List pull requests with filters for state and author | 77 | |
| search_code | Search code across repositories | 98 | |
| create_pull_request | Open a pull request from a branch | 12 | |
| merge_pull_request | Merge a pull request | 3 | |
| delete_repository | Delete a repository permanently | 0 |
The Settings tab
Delete server
Removes GitHub and its 41 tools from routing. Agents lose access right away.