Revyl Codex Proof Ci logo

Revyl Codex Proof Ci

Organization
RevylAI
revyl-codex-proof-ci

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.

Overview

PublisherRevylAI
Repositoryrevyl-cli
Skill namerevyl-codex-proof-ci
Stars
522
Forks
25
Bundled files
Instructions only
Links
  • Markdown instructions

    A SKILL.md file the model loads on demand, so it only costs tokens when a request actually matches.

  • Works with any LLM

    AI skills are plain Markdown, not provider-specific code, so this works with GPT, Claude, Gemini, Grok, or a local model.

  • Self-contained

    Everything the model needs lives in the instructions — no extra files to sync.

  • Open source

    Published by RevylAI on GitHub. Read the source before you install it.

Installation

Install the Revyl Codex Proof Ci AI skill in TypingMind to use it with any LLM, or drop it into another agent that reads SKILL.md.

1

Install in TypingMind

TypingMind installs a skill straight from its GitHub folder — it reads SKILL.md, bundles the resource files, and stores the result locally.

  1. Open the app and go to Plugins → Skills.
  2. Choose "Install from GitHub".
  3. Paste the skill folder URL below and confirm.
    https://github.com/RevylAI/revyl-cli/tree/main/plugins/revyl/skills/revyl-codex-proof-ci
  4. Enable the skill in any chat where you want it available.
Plugins → Skills → Add skill → From GitHub URL, then paste the folder URL and press Continue.
2

Install in another agent

Any agent that reads the Agent Skills format can use this skill — copy the folder into that agent's skills directory.

Claude Code — .claude/skills
git clone --depth 1 https://github.com/RevylAI/revyl-cli.git /tmp/revyl-cli
mkdir -p .claude/skills
cp -r /tmp/revyl-cli/plugins/revyl/skills/revyl-codex-proof-ci .claude/skills/revyl-codex-proof-ci
Restart Claude Code after copying so it picks up the new skill.

Use it in TypingMind

Enable Revyl Codex Proof Ci in any TypingMind chat and the model takes it from there. Its name and description sit in the system prompt, and the moment a request matches, the model loads the full instructions itself — you never invoke it by hand, and it costs no tokens until it is actually used.

The model loads Revyl Codex Proof Ci on its own as soon as a request matches it.

Works with any AI model

AI skills are plain Markdown instructions rather than provider-specific code, so Revyl Codex Proof Ci is not tied to the model it was written for. Install it once in TypingMind and use it with GPT-5, Claude, Gemini, Grok, DeepSeek, Mistral, Llama, or a local model you run yourself — all on your own API keys.

  • Loaded only when it is needed

    The system prompt carries just the name and description. The instructions are fetched on the first matching request, so an idle skill costs nothing.

  • Switch models mid-chat

    Because the skill is instructions rather than code, changing model does not break it — the next model reads the same SKILL.md.

Skill instructions

This is the SKILL.md content the model loads. Read it before installing — a skill is instructions your model will follow.

Revyl Codex Proof from CI Builds

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. This proof workflow requires shell access and uses the pinned CLI below. Do not silently switch to a different MCP build lookup: its search and pagination contract may differ from the exact-SHA checks in this skill.

Launcher and authorization

Resolve the launcher from this skill's own absolute directory before changing to the app directory. On POSIX use ../../scripts/launch-revyl; on Windows use ../../scripts/launch-revyl.cmd. Invoke that absolute launcher for every Revyl command; never use revyl from PATH, PLUGIN_ROOT, or another installed CLI.

sh
SKILL_DIR="<absolute directory containing this SKILL.md>"
LAUNCHER="$(cd "$SKILL_DIR/../../scripts" && pwd)/launch-revyl"
"$LAUNCHER" --version
"$LAUNCHER" auth status
bat
REM Windows cmd.exe
set "SKILL_DIR=<absolute directory containing this SKILL.md>"
set "LAUNCHER=%SKILL_DIR%\..\..\scripts\launch-revyl.cmd"
"%LAUNCHER%" --version
"%LAUNCHER%" auth status

Use normal "$LAUNCHER" auth login only when authentication is needed. An existing environment secret may be used without placing its value in a command, chat, or artifact. Do not run credential-provisioning or secret-bridge commands. Post the normal login approval URL as a clickable link and wait for approval; do not claim that a browser opened.

Before starting a device or another paid action, require authorization naming the app, environment, and paid operation. Resolve the pull request's full head SHA and platform from read-only PR, repository, and user context; ask only when ambiguous. Do not treat a short SHA, branch name, or version label as a match. Run from the app directory that owns .revyl/config.yaml so the project's existing launch configuration applies.

Proof loop

  1. Find a CI-uploaded build whose metadata.scm_head_sha exactly equals the full PR SHA. For example:

    sh
    "$LAUNCHER" build list --app <app-id> --json

    This pinned CLI lists only the newest 20 versions and does not expose pagination. A match in this window is usable; no match does not establish that the artifact is absent. While the named CI upload is pending, make at most three retries, ten seconds apart. If no exact match arrives, stop and report proof not run: recent-build lookup incomplete. Explain the 20-version limit, without claiming a full-history search. Do not invent pagination flags, bypass CLI authentication, rebuild, re-upload, or use an unrelated artifact as a fallback.

  2. With explicit authorization, start a device on the matching build and save its exact session ID:

    sh
    "$LAUNCHER" device start --build-version-id <matching-build-id> --json

    Return the viewer URL immediately as a clickable link when one is present. If open_revyl_workspace is available, open the same session with view="device" and its returned session_id. Do not start a second device through MCP. If browser access fails, retain the CLI's existing session and report the account-linking problem instead of replacing it. Exercise only the changed behavior. Target every device command with -s <session-id>, save concise screenshots, and open each screenshot before describing it. A false or missing semantic verdict is a failed proof, but still stop that exact session with "$LAUNCHER" device stop -s <session-id>. Never use global cleanup.

  3. Obtain a report with "$LAUNCHER" device report -s <session-id> --json and report success only when a matching device session produced the evidence. A missing device session is never a passed proof.

Reporting and publication

When an authorized PR-comment surface is available, use that surface to add or update the proof. Otherwise return a ready-to-post draft headed ## Revyl device proof with the full SHA, matching build ID, device result, and only the evidence actually collected.

Session sharing and screenshot/report publication are separate external actions. Run session share or session publish only after the user explicitly approves publication and its audience; otherwise keep the evidence local and return the draft without public links. Never include credentials, launch-var values, or signed URLs.

Frequently asked questions

What does the Revyl Codex Proof Ci AI skill 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.

Why use Revyl Codex Proof Ci on TypingMind?

Because you install it once and use it with any model. Revyl Codex Proof Ci is plain Markdown rather than provider-specific code, so the same skill runs on GPT-5, Claude, Gemini, Grok, or a local model — and you can switch model mid-chat without it breaking. TypingMind runs on your own API keys, so you pay providers directly instead of a per-seat subscription, and your skills and chats stay in your own storage.

How do I install Revyl Codex Proof Ci in TypingMind?

Open Plugins → Skills → Install from GitHub in TypingMind and paste https://github.com/RevylAI/revyl-cli/tree/main/plugins/revyl/skills/revyl-codex-proof-ci. TypingMind reads its SKILL.md and installs it as a skill you can enable per chat.

Which AI models can use Revyl Codex Proof Ci?

Any model you connect in TypingMind. AI skills are plain Markdown instructions rather than provider-specific code, so GPT, Claude, Gemini, Grok, and local models can all load this skill when a request matches it.

How many AI models can I use with Revyl Codex Proof Ci?

As many as you like. As long as a model supports skills, you can use Revyl Codex Proof Ci with it — GPT, Claude, Gemini, Grok, DeepSeek, Mistral, Llama and more — all on TypingMind with your own API keys.

Is the Revyl Codex Proof Ci AI skill free?

It is published on GitHub by RevylAI. Check the repository for licensing terms. You only pay your own AI provider for the tokens you use.

What are AI skills?

An AI skill is a reusable instruction bundle that teaches an AI model how to do one specific task. It follows the open Agent Skills format: a SKILL.md file with a name and description, plus any scripts, templates or reference files the model may need. The model reads the instructions only when your request matches the skill, so an installed skill costs nothing until it is used.

How are AI skills different from plugins or MCP servers?

A plugin or MCP server gives a model new tools to call — code that runs somewhere and returns a result. An AI skill gives the model knowledge and process instead: how to approach a task, which steps to follow, what good output looks like. Skills are plain Markdown, so they need no server, no API key and no runtime, and they work with any model.

View all

Set up your own AI workspace now

Get notified about new features and future giveaways by subscribing to our newsletter 👇