OptionalfavoritesPart 3.6 — restrict Tools tab to favorited tools only
OptionalrecentPart 3.3 — restrict Tools tab to tools that appear in recent execution logs
OptionaltoolsPart 3.3 — tools tab category filter (derived from snake_case ToolName prefix, or 'all')
OptionaltoolsPart 3.3 — tools tab server filter (ID of selected server, or 'all')
Dashboard filter options