Improve the output style of the "mcp list-tools" command: - use console table rendering for the list of tools - limit the description such that each tool stays on a single line (full description in --verbose mode) Here is a sample run: ``` @pelikhan...

[Copilot]

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original prompt

Improve the output style of the "mcp list-tools" command:

• use console table rendering for the list of tools
• limit the description such that each tool stays on a single line (full description in --verbose mode)

Here is a sample run:

@pelikhan ➜ /workspaces/gh-aw (main) $ ./gh-aw mcp list-tools github tidy
ℹ 📡 Connecting to MCP server: github (docker)

ℹ 🛠️  Available Tools (90 total)
1. add_comment_to_pending_review - Add review comment to the requester's latest pending pull request review. A pending review needs to already exist to call this (check with the user if not sure).
2. add_issue_comment - Add a comment to a specific issue in a GitHub repository.
3. add_sub_issue - Add a sub-issue to a parent issue in a GitHub repository.
4. assign_copilot_to_issue - Assign Copilot to a specific issue in a GitHub repository.

This tool can help with the following outcomes:
- a Pull Request created with source code changes to resolve the issue


More information can be found at:
- https://docs.github.com/en/copilot/using-github-copilot/using-copilot-coding-agent-to-work-on-tasks/about-assigning-tasks-to-copilot

5. cancel_workflow_run - Cancel a workflow run
6. create_and_submit_pull_request_review - Create and submit a review for a pull request without review comments.
7. create_branch - Create a new branch in a GitHub repository
8. create_gist - Create a new gist
9. create_issue - Create a new issue in a GitHub repository.
10. create_or_update_file - Create or update a single file in a GitHub repository. If updating, you must provide the SHA of the file you want to update. Use this tool to create or update a file in a GitHub repository remotely; do not use it for local file operations.
11. create_pending_pull_request_review - Create a pending review for a pull request. Call this first before attempting to add comments to a pending review, and ultimately submitting it. A pending pull request review means a pull request review, it is pending because you create it first and submit it later, and the PR author will not see it until it is submitted.
12. create_pull_request - Create a new pull request in a GitHub repository.
13. create_repository - Create a new GitHub repository in your account or specified organization
14. delete_file - Delete a file from a GitHub repository
15. delete_pending_pull_request_review - Delete the requester's latest pending pull request review. Use this after the user decides not to submit a pending review, if you don't know if they already created one then check first.
16. delete_workflow_run_logs - Delete logs for a workflow run
17. dismiss_notification - Dismiss a notification by marking it as read or done
18. download_workflow_run_artifact - Get download URL for a workflow run artifact
19. fork_repository - Fork a GitHub repository to your account or specified organization
20. get_code_scanning_alert - Get details of a specific code scanning alert in a GitHub repository.
21. get_commit - Get details for a commit from a GitHub repository
22. get_dependabot_alert - Get details of a specific dependabot alert in a GitHub repository.
23. get_discussion - Get a specific discussion by ID
24. get_discussion_comments - Get comments from a discussion
25. get_file_contents - Get the contents of a file or directory from a GitHub repository
26. get_global_security_advisory - Get a global security advisory
27. get_issue - Get details of a specific issue in a GitHub repository.
28. get_issue_comments - Get comments for a specific issue in a GitHub repository.
29. get_job_logs - Download logs for a specific workflow job or efficiently get all failed job logs for a workflow run
30. get_latest_release - Get the latest release in a GitHub repository
31. get_me - Get details of the authenticated GitHub user. Use this when a request is about the user's own profile for GitHub. Or when information is missing to build other tool calls.
32. get_notification_details - Get detailed information for a specific GitHub notification, always call this tool when the user asks for details about a specific notification, if you don't know the ID list notifications first.
33. get_pull_request - Get details of a specific pull request in a GitHub repository.
34. get_pull_request_comments - Get comments for a specific pull request.
35. get_pull_request_diff - Get the diff of a pull request.
36. get_pull_request_files - Get the files changed in a specific pull request.
37. get_pull_request_reviews - Get reviews for a specific pull request.
38. get_pull_request_status - Get the status of a specific pull request.
39. get_release_by_tag - Get a specific release by its tag name in a GitHub repository
40. get_secret_scanning_alert - Get details of a specific secret scanning alert in a GitHub repository.
41. get_tag - Get details about a specific git tag in a GitHub repository
42. get_team_members - Get member usernames of a specific team in an organization. Limited to organizations accessible with current ...

</details>


<!-- START COPILOT CODING AGENT TIPS -->
---

💬 Share your feedback on Copilot coding agent for the chance to win a $200 gift card! Click [here](https://survey3.medallia.com/?EAHeSx-AP01bZqG0Ld9QLQ) to start the survey.