pr-agent/docs/docs/tools/help.md

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.

/help

Example usage

An example result:

{width=750} → {width=750}