Filter tools by name in --list

[avelino]

Some servers expose 40+ tools (Sentry, Grafana). Finding the right tool means scrolling through a wall of JSON.

There's no way to filter or search tools by name from the CLI. You end up piping to `jq` every time just to find the tool you want.