Overview
The help tool provides a list of all the available tools and their descriptions.
For PR-Agent Pro users, it also enables to trigger each tool by checking the relevant box.
It can be invoked manually by commenting on any PR:
/help
Example usage
An example result:
{width=750}
→
{width=750}