@Эксцентрик, Как уже ответили, любой userscript менеджер. Однако, у разных менеджеров есть свои отличия/недостатки. Обычно об этом пишут сами разработчики. Выберите тот, который Вам подходит.