Improve tool display: show args in progress and clean MCP tool names

[meain]

• generateProgressSummary now shows tool arguments in compact JSON format
  instead of the generic "Calling ..." message, giving users clearer
  visibility into what each tool call is doing
• Add MCPManager.GetToolDisplayName to strip the internal "mcp__"
  prefix from MCP tool names, showing a cleaner "server:tool" format in
  both progress indicators and --show-commands output

https://claude.ai/code/session_014PBU2AUUYoCw3UpcW7YFyS

[Copilot]

Pull request overview

This PR improves the user-facing display of tool calls in two ways: (1) the progress indicator now shows tool arguments in a compact JSON format instead of a generic "Calling <func>..." message, and (2) MCP tool names are displayed in a cleaner server:tool format by stripping the internal mcp_<server>_ prefix. These changes affect both the inline progress indicator (shown during tool execution) and the --show-commands output.

Changes:

• generateProgressSummary in application.go now round-trips args through JSON unmarshal/marshal to produce compact, key-sorted JSON, truncated to 50 characters, and displays them alongside the function name.
• A new GetToolDisplayName method on MCPManager strips the mcp_<server>_ prefix from tool names and returns a server:tool display format.
• handleMCPToolCall uses the new display name for both progress indicators and --show-commands output.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
mcp.go	Adds GetToolDisplayName method to MCPManager for cleaner MCP tool name display
application.go	Rewrites generateProgressSummary to show compact JSON args; uses GetToolDisplayName in MCP tool call handling

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[meain]

While this fixes a few issues, not exactly doing what I want.