all-tools.js

// all the tools available for the Tool Picker
export const allTools = {
  api: 'API',
  azure_data_studio: 'Azure Data Studio',
  bash: 'Bash',
  cli: 'GitHub CLI',
  codespaces: 'Codespaces',
  curl: 'curl',
  desktop: 'Desktop',
  importer_cli: 'GitHub Enterprise Importer CLI',
  javascript: 'JavaScript',
  jetbrains: 'JetBrains IDEs',
  jetbrains_beta: 'JetBrains IDEs (Beta)',
  vimneovim: 'Vim/Neovim',
  powershell: 'PowerShell',
  visualstudio: 'Visual Studio',
  vscode: 'Visual Studio Code',
  webui: 'Web browser',
}