Examples of bots are provided in the packagesarrow-up-right folder of the GitHub repository for mangrove.js.