Agent skill

Revyl Codex Proof CI

by RevylAI in RevylAI/revyl-cli

Verify a mobile pull request using an exact-SHA match among its app's recent CI-uploaded Revyl builds, collect device evidence, and prepare a proof summary without rebuilding.

No licenceAuto-check passedDevelopment

Install Revyl Codex Proof CI

skills CLI
$ npx skills add RevylAI/revyl-cli --skill revyl-codex-proof-ci -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install RevylAI/revyl-cli revyl-codex-proof-ci --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/RevylAI/revyl-cli.git skills-src && mkdir -p .claude/skills && cp -r skills-src/plugins/revyl/skills/revyl-codex-proof-ci .claude/skills/revyl-codex-proof-ci && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
revyl-codex-proof-ci
GitHub stars
522
Token cost
~1k tokens
SKILL.md length
501 words
Files
1
Skills in repo
20
Repo updated
First seen
Licence
None found

At a glance

Verify a mobile pull request using an exact-SHA match among its app's recent CI-uploaded Revyl builds, collect device evidence, and prepare a proof summary without rebuilding.

  • Works in 3 steps: Find a CI-uploaded build whose… → With explicit authorization, start a… → Obtain a report with "$LAUNCHER" device…
  • Tasks that involve Pull requests
  • SKILL.md covers Launcher and authorization, Proof loop and Reporting and publication
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Revyl Codex Proof CI is an agent skill from RevylAI/revyl-cli. Verify a mobile pull request using an exact-SHA match among its app's recent CI-uploaded Revyl builds, collect device evidence, and prepare a proof summary without rebuilding.

Its SKILL.md is about 1k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development, covering Pull requests.

When your agent uses it

  • Tasks that involve Pull requests

Example prompts

  • “/revyl-codex-proof-ci”

Workflow steps

3 steps, taken from the first numbered list in SKILL.md.

  1. Find a CI-uploaded build whose metadata.scm_head_sha exactly equals the
  2. With explicit authorization, start a device on the matching build and save
  3. Obtain a report with "$LAUNCHER" device report -s --json and

What it can do on your machine

Read from SKILL.md and the folder at commit 496d6f4. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are bash and bat).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Revyl Codex Proof CI loads about 1k tokens when it runs. Until then it costs about 49 tokens; SKILL.md has 501 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~49
When it runs · the whole SKILL.md, loaded when a task matches
~1k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Without a licence we can't republish the file, so here is its outline and opening line. It has 501 words (~1,035 tokens).

“Use this skill only for an authorized proof of a pull request whose artifact was already uploaded by CI. It does not build, upload, or configure an app.”

— opening of SKILL.md by RevylAI
name
revyl-codex-proof-ci

Read the full SKILL.md on GitHub

Files

Just SKILL.md in plugins/revyl/skills/revyl-codex-proof-ci of RevylAI/revyl-cli.

Open the folder on GitHubat commit 496d6f4

Compare with similar skills

Revyl Codex Proof CI next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Revyl Codex Proof CI compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Revyl Codex Proof CI this skillRevylAI/revyl-cli522—~1kAutomated safety check: PassNone
Finishing a Development Branchobra/superpowers297k5 repos~1.9kAutomated safety check: PassMIT
PR Babysitteropeninterpreter/openinterpreter69k3 repos~4.2kAutomated safety check: PassApache-2.0
Check PRonyx-dot-app/onyx32k2 repos~2.3kAutomated safety check: PassMIT
PR Design DocOpenHands/OpenHands91k—~2.4kAutomated safety check: PassMIT
WooCommerce Code Reviewwoocommerce/woocommerce11k3 repos~1.1kAutomated safety check: PassCustom licence

Similar skills

  • Walks the last step of a branch: confirm tests pass, detect the git environment, ask how to integrate, carry out your choice and clean up the worktree.

    297k GitHub starsUsed in 5 repos~1.9k tokens
    DevelopmentAuto-check passed
  • PR Babysitter

    openinterpreter/openinterpreter

    Watches an open GitHub pull request until it merges, handling review comments, diagnosing CI failures and retrying flaky checks along the way.

    69k GitHub starsUsed in 3 repos~4.2k tokens
    DevelopmentAuto-check passed
  • Check PR

    onyx-dot-app/onyx

    Checks a GitHub, GitLab, or Perforce (p4) pull request (or merge request, or shelved changelist) for unresolved review comments, failing status checks, and incomplete PR descriptions.

    32k GitHub starsUsed in 2 repos~2.3k tokens
    DevelopmentAuto-check passed
  • PR Design Doc

    OpenHands/OpenHands

    For a non-trivial pull request, write a self-contained HTML design doc under the temporary .pr/ directory and link a visibility-appropriate preview in the PR description, so maintainers grasp the…

    91k GitHub stars~2.4k tokensUpdated today
    DevelopmentAuto-check passed
  • WooCommerce Code Review

    woocommerce/woocommerce

    Reviews WooCommerce code changes against the project's standards, flagging backend PHP architecture, naming, documentation, data integrity and testing violations.

    11k GitHub starsUsed in 3 repos~1.1k tokens
    DevelopmentAuto-check passed
  • Record PR Demo

    payloadcms/payload

    A skill your agent uses when a Payload pull request needs a concise visual walkthrough for reviewers.

    45k GitHub stars~1k tokensUpdated yesterday
    DevelopmentAuto-check passed

More from RevylAI/revyl-cli

All 21 skills in this repo
  • Revyl CLI

    RevylAI/revyl-cli

    Base CLI skill for Revyl command-driven workflows. An agent skill from RevylAI/revyl-cli.

    522 GitHub stars~832 tokensUpdated today
    Auto-check passed
  • Revyl CLI Atlas Review

    RevylAI/revyl-cli

    Inspect exact Atlas evidence and manage grounded annotation feedback when the user explicitly requests a feedback mutation.

    522 GitHub stars~1.7k tokensUpdated today
    Auto-check passed
  • Find meaningful visual differences between confidently matched iOS and Android app states in Revyl Atlas.

    522 GitHub stars~4.5k tokensUpdated today
    Auto-check passed
  • Revyl Cloud App

    RevylAI/revyl-cli

    Create or edit a mobile app in ChatGPT Work's cloud coding workspace, build it with revyl build --remote, run cloud tests and device verification, and map it with revyl explore.

    522 GitHub stars~2.5k tokensUpdated today
    Auto-check passed
  • Revyl Proof Automation

    RevylAI/revyl-cli

    Set up a Cursor Automation that proves each pull request on a Revyl cloud device using a CI-uploaded build.

    522 GitHub stars~1.1k tokensUpdated today
    Auto-check passed
  • Revyl CLI Auth Bypass

    RevylAI/revyl-cli

    Set up test-only auth bypass for Revyl runs across Expo, React Native, native iOS, native Android, and Flutter apps.

    522 GitHub stars~2.5k tokensUpdated today
    Auto-check passed

Categories

Questions about Revyl Codex Proof CI

What does Revyl Codex Proof CI do?

Verify a mobile pull request using an exact-SHA match among its app's recent CI-uploaded Revyl builds, collect device evidence, and prepare a proof summary without rebuilding. Revyl Codex Proof CI is an agent skill from RevylAI/revyl-cli. Verify a mobile pull request using an exact-SHA match among its app's recent CI-uploaded Revyl builds, collect device evidence, and prepare a proof summary without rebuilding.

When should I use Revyl Codex Proof CI?

Revyl Codex Proof CI fits situations like: tasks that involve Pull requests.

How do I install Revyl Codex Proof CI in Claude Code?

Run `npx skills add RevylAI/revyl-cli --skill revyl-codex-proof-ci -a claude-code`. Or copy the skill folder (plugins/revyl/skills/revyl-codex-proof-ci in RevylAI/revyl-cli) into .claude/skills/revyl-codex-proof-ci in your project. Claude Code loads it when a task matches its description.

How do I install Revyl Codex Proof CI in Codex?

Run `npx skills add RevylAI/revyl-cli --skill revyl-codex-proof-ci -a codex`. Or copy the skill folder (plugins/revyl/skills/revyl-codex-proof-ci in RevylAI/revyl-cli) into .agents/skills/revyl-codex-proof-ci in your project. Codex loads it when a task matches its description.

Can I use Revyl Codex Proof CI in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add RevylAI/revyl-cli --skill revyl-codex-proof-ci -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/revyl-codex-proof-ci, .gemini/skills/revyl-codex-proof-ci, .github/skills/revyl-codex-proof-ci and .opencode/skills/revyl-codex-proof-ci in your project.

What does Revyl Codex Proof CI need to run?

SKILL.md names no scripts, command-line tools or credentials: Revyl Codex Proof CI is instructions for the agent only.

Does Revyl Codex Proof CI access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Revyl Codex Proof CI safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Revyl Codex Proof CI use?

No licence was found for Revyl Codex Proof CI or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.

How many tokens does Revyl Codex Proof CI use?

About 1k tokens (SKILL.md is roughly 4.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Revyl Codex Proof CI?

Skills that share tags, products or a category with Revyl Codex Proof CI: Finishing a Development Branch (obra/superpowers, 297k stars), PR Babysitter (openinterpreter/openinterpreter, 69k stars), Check PR (onyx-dot-app/onyx, 32k stars) and PR Design Doc (OpenHands/OpenHands, 91k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Revyl Codex Proof CI?

RevylAI (a GitHub organization) maintains it in RevylAI/revyl-cli, which has 522 GitHub stars. The repository holds 20 skills in this directory. The repository was last updated on October 10, 2026.

Source: RevylAI/revyl-cli on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.