Feat: Filter MCP server list by text. #3221 (#8820)

### What problem does this PR solve?

Feat: Filter MCP server list by text. #3221
### Type of change

- [x] New Feature (non-breaking change which adds functionality)

web/src/locales/en.ts

@@ -1307,6 +1307,8 @@ This delimiter is used to split the input text into several text pieces echo of
       export: 'Export',
       import: 'Import',
       addMcp: 'Add MCP',
+      url: 'URL',
+      serverType: 'Server Type',
     },
   },
 };