add: search tools by name #4

Merged
hzhang merged 1 commits from tool_filter into main 2025-05-16 15:26:02 +00:00

1 Commits

Author SHA1 Message Date
633708d0b5 add: search tools by name 2025-05-16 16:25:01 +01:00