Create a GitHub issue from a summary description. Drafts the title and body, shows a preview, and asks for confirmation before publishing.
Thorough peer code review of a PR or branch — correctness, bugs, logic errors, edge cases, code quality, simplicity, naming, test coverage. Takes a PR number or base branch argument. Pulls PR metadata via gh if available.
Autonomous Quint formal specification workflow — generate specs (new or from codebase), typecheck, create witnesses, run invariants, and verify. Like plan mode but for formal specs.
Merge a branch into the current branch — detect conflicts, summarize them, and resolve them automatically where possible. Asks the user when unsure which changes to keep.
Write a commit message following the project template and save it to commit.msg
Verify documentation (README, runbooks, module docs) aligns with the actual codebase and fix any drift
Generate a PR summary from all commits since the branch diverged from a given parent branch, written to pr-summary.msg
Review code and infrastructure for production readiness — error handling, observability, concurrency, stability, data integrity, IaC safety, test coverage, hygiene. For security-focused review use /review-security instead.