Goal

SkillDev tools

Get a PR in a committable state

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Goal skill

What this skill tells your AI

The instructions your AI receives, as published by causify-ai/helpers in .claude/skills/pr.get_to_commit_state/SKILL.md and read by ahel’s review.

  • Monitor GitHub CI checks for the current PR and report status back on the PR

Workflow

Constraints

  • This skill runs both when executed locally on a dev computer and remotely when executed on cloud (e.g., on GitHub or Anthropic infrastructure)

Get the PR Number and Branch Name

  • Get the PR number

    > GH_PR_NUM=$(gh pr view --json number -q .number)
    
  • Get the branch name

    > BRANCH_NAME=$(git branch --show-current)
    

Fix Pyright Issues

  • Fix the pyright warnings and errors in the branch
    > linters2/lint.py --clear_actions --action "pyright" --branch
    

Run Linter

  • Run the linter
    > linters2/lint.py
    

Signals

GitHub stars
145
Forks
159
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
pr-get-to-commit-state
Source
github.com/causify-ai/helpers