Tools search input#370

Merged

matteo8p merged 2 commits intomainfrom

tools-search-input

Aug 8, 2025

Commits on Aug 8, 2025

feat(tools): implement search functionality in ToolsTab component
zhuminghui17
committed
clean: remove unnecessary whitespace in search-input.tsx
zhuminghui17
committed