Set up and operate ProPR from the terminal.
The propr CLI brings up the stack and drives it: scaffold, verify, start and stop the services, then run plans, issues, goals, tasks, repositories and agents against the same API as the Web UI.
npm install -g propr-cli
propr --versionNode.js 22+. The installed command is propr.
Setup overview
A session from plan to pull request.
Connect once, pick a repository, create a plan, implement one of its issues and read the run. The plan, the task and its pull request show up in the dashboard and follow the normal review path.
propr remote https://api.propr.example.com
propr login
propr use owner/repo
propr plan create "Split auth cleanup into reviewable PRs" --wait
propr plan issues <draft-id>
propr issue implement <draft-id>/1 --wait
propr task get <task-id>Command groups
Most commands accept --json for scripts, and -p owner/repo targets another project for one invocation.
| Group | What it does | Example |
|---|---|---|
| Stack control plane | Scaffold, verify, start, stop and inspect the local stack. propr setup runs the whole bootstrap in one guided pass. | propr setup |
| Connect and sign in | Point the CLI at a running backend, sign in with GitHub through the gh CLI or a token, and set a default project. | propr use owner/repo |
| Plans | Create a plan and wait for generation, inspect it, retrigger it, or finalize it into GitHub issues. | propr plan create "Add dark mode" --wait |
| Issues | Implement one plan issue, choose the agent and model, open it as an Epic PR, or cap the run's spend. | propr issue implement <draft-id>/1 --wait |
| Tasks | List and inspect tasks and their run history, stop or delete a run, post a follow-up, or revert a commit from a pull request. | propr task inspect <task-id> |
| Goals | Create and start a goal, send it a correction, see what waits on you, and block until it reaches a state or publishes a checkpoint. | propr goal wait <goal-id> --until terminal |
| Automations | List saved automations, run one and print its Markdown report, and approve, reject or cancel a run. | propr automation run <automation-id> --wait |
| Repositories | Add and configure monitored repositories, reindex them, and scaffold .propr/ setup files in a checkout. | propr repo add owner/repo |
| Agents | Add, enable, disable or delete agent profiles, and apply synthetic pools from JSON. | propr agent list |
| To-dos | Capture, complete, move and categorize repository to-dos. | propr todo add "Fix login page" |
| GitHub access | Manage relay tokens for the shared App, or register your own GitHub App through GitHub's manifest flow. | propr github-app create --public-url https://propr.example.com |
| Agent Skill | Install, inspect or remove the bundled Operator Agent Skill for Codex, Claude Code, Antigravity, OpenCode and Vibe. | propr skill install codex claude |
| Tunnel and Agent Tank | Expose the stack to the hosted UI through a managed tunnel, and set the Agent Tank mode. | propr tank bundled |
| Settings, logs and system | Read and update instance settings, list LLM logs, and check backend health and queue statistics. | propr remote-status |
Every command, option and exit code is in the CLI reference.
Take a change from plan to pull request.
The CLI playbook runs the session above step by step and inspects the result. No stack yet? The quickstart takes propr setup through to a reviewed pull request.