How to determine the internal tools used by custom agents of Copilot CLI (v0.0.377)?
-
Create a (temporary) custom agent
.github/agents/tools.agent.mdwhich allows all tools (see also Tools):--- name: Tools
tools: ["*"]
| // @ts-check | |
| const eslint = require('@eslint/js'); | |
| const tseslint = require('typescript-eslint'); | |
| const angular = require('angular-eslint'); | |
| const eslintConfigPrettier = require('eslint-config-prettier'); | |
| module.exports = tseslint.config( | |
| { | |
| ignores: ['.angular/**', '.nx/**', 'coverage/**', 'dist/**'], | |
| files: ['**/*.ts'], |
How to determine the internal tools used by custom agents of Copilot CLI (v0.0.377)?
Create a (temporary) custom agent .github/agents/tools.agent.md which allows all tools (see also Tools):
---
name: Tools
tools: ["*"]
| #!/usr/bin/env bash | |
| _graph_easy_completions() { | |
| local cur prev opts filenames | |
| COMPREPLY=() | |
| cur="${COMP_WORDS[COMP_CWORD]}" | |
| prev="${COMP_WORDS[COMP_CWORD-1]}" | |
| opts="--help --input --output --as --from --renderer --parse --stats --timeout --verbose --boxart --html --svg --graphviz --dot --txt --vcg --gdl --graphml" | |
| if [[ ${cur} == -* ]]; then |
| #!/usr/bin/env bash | |
| # SETUP | |
| # | |
| # copy into bash_completion.d | |
| # brew install bash-completion@2 | |
| # | |
| _complete_ollama() { | |
| local cur prev words cword | |
| _init_completion -n : || return |
| // npm i express body-parser axios jsonwebtoken | |
| // node oauth2-client-credentials.js | |
| const express = require('express') | |
| const bodyParser = require('body-parser') | |
| const axios = require('axios') | |
| const jwt = require('jsonwebtoken') | |
| const PORT_AUTH_SERVER = 4000 | |
| const PORT_RESOURCE_SERVER = 5000 |
| import React, { useState } from 'react' | |
| import { DragDropContext, Droppable, Draggable } from '@hello-pangea/dnd' | |
| // fake data generator | |
| const getItems = (count, offset = 0) => | |
| Array.from({ length: count }, (v, k) => k).map((k) => ({ | |
| id: `item-${k + offset}-${new Date().getTime()}`, | |
| content: `item ${k + offset}`, | |
| })) |