Autodevelop handbook
Copyright (c) 2026 Devrecated.
Autodevelop is a Cursor plugin for GitHub Projects, tickets, and confirmed stakeholder mail. These pages explain how to install it, connect the GitHub App, bind a product repository, and use the product day to day.
Start with the Client guide if you are sending a link to a team. Then install, sign in with the CLI, and connect the GitHub App.
| Page | When |
|---|---|
| What is Autodevelop | What the product does |
| Client guide | Day-to-day use and phrases |
| Install | Cursor plugin once per machine |
| CLI | Login, status, install, GitHub token |
| GitHub App | Connect GitHub from the operator console |
| Configure | Instance files in the consumer repo |
| Integration | Add Autodevelop to an application |
| Hosted apps | Ticket UI, operator console, business console |
Workflows
| Workflow | When |
|---|---|
| Initial setup | First day: plugin, CLI, GitHub App, doctor |
| Create tickets | A request becomes a GitHub Project issue |
| Notify stakeholders | Confirmed stakeholder mail |
| Ship to staging | Local staging. Phrase DEPLOYED TO STAGING |
| Ship to production | Production ship. Phrase DEPLOYED TO PRODUCTION |
| When something breaks | Doctor, billing, missing config |