GitHub repository: timrichardson/extension-manager
Description: A utility for browsing and installing GNOME Shell Extensions.