You will need the Redpen Widget ID or script to send it to your developer for installing the widget on a website. This document helps you to get the ID or script.
Sign in to Redpen. Skip this step if you are already signed in.
Widgets are specific to sites, so, select the site to go to the widget you want to get the ID or script.
Click on the profile picture → Settings. Click Widgets to see all the widgets of the selected site.
Don't have any existing widgets? Follow this documentation to create your first widget.
The widget details will have the details like ID, script, etc. Copy the ID or script as per your need using the copy button. You can also email the script to your developer.