New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Running Compatibility Checks

by purefunctor in purefunctor/purescript-iris

Runs Iris package-set compatibility comparisons with release-built verifiers.

Custom licenceAuto-check passed

Install Running Compatibility Checks

skills CLI
$ npx skills add purefunctor/purescript-iris --skill running-compatibility-checks -a claude-code

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

GitHub CLI
$ gh skill install purefunctor/purescript-iris running-compatibility-checks --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/purefunctor/purescript-iris.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/running-compatibility-checks .claude/skills/running-compatibility-checks && 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
running-compatibility-checks
GitHub stars
117
Token cost
~605 tokens
SKILL.md length
261 words
Files
2 (incl. scripts)
Skills in repo
8
Repo updated
First seen
Licence
Custom licence

At a glance

Runs Iris package-set compatibility comparisons with release-built verifiers.

  • Checking the current checkout against a base revision
  • SKILL.md covers Run the comparison, Interpret the result and Run one revision without…
  • Runs Shell scripts from its folder; calls just, cargo and git
  • Investigating compatibility regressions

What it does

Running Compatibility Checks is an agent skill from purefunctor/purescript-iris. Runs Iris package-set compatibility comparisons with release-built verifiers. Use when checking the current checkout against a base revision, investigating compatibility regressions, or reviewing compatibility reports.

Its SKILL.md is about 610 tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files, including scripts (for example `scripts/run.sh`).

The repository describes itself as: A compiler for the PureScript programming language.

When your agent uses it

  • Checking the current checkout against a base revision
  • Investigating compatibility regressions
  • Reviewing compatibility reports

Example prompts

  • “/running-compatibility-checks”

Requirements

  • A Bash shell

What it can do on your machine

Read from SKILL.md and the folder at commit f62075e. 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

    Ships 1 file in scripts/ (Shell), which the agent can run.

    Shell commands in SKILL.md call:

    • just
    • cargo
    • git

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

  • Network

    No URLs in SKILL.md. Its commands use git, which can reach the network depending on how they are called.

    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

Running Compatibility Checks loads about 605 tokens when it runs. Until then it costs about 62 tokens; SKILL.md has 261 words of instructions outside code blocks.

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

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); the scripts in this folder are not scanned.

SKILL.md

Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 261 words (~605 tokens).

“Use the repository's compatibility runner to compare the current checkout with a base revision. The runner mirrors the CI package selection (core and acme), builds both verifiers in release mode, and preserves the generated reports.”

— opening of SKILL.md by purefunctor, Custom licence
name
running-compatibility-checks

Read the full SKILL.md on GitHub

Files

SKILL.md and 1 other file (scripts) in .agents/skills/running-compatibility-checks of purefunctor/purescript-iris.

  • SKILL.md
  • scripts/run.sh

Open the folder on GitHubat commit f62075e

Compare with similar skills

Running Compatibility Checks 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.

Running Compatibility Checks compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Running Compatibility Checks this skillpurefunctor/purescript-iris117—~605Automated safety check: PassCustom licence
Gaia Architecture Comparisonruvnet/ruflo74k—~1.3kAutomated safety check: NotesMIT
Perf ComparisonClickHouse/ClickHouse50k—~3.9kAutomated safety check: NotesApache-2.0
Use Irismarin-community/marin3.9k—~745Automated safety check: PassApache-2.0
Offer Comparison Analyzerdavila7/claude-code-templates32k2 repos~2.3kAutomated safety check: PassMIT
Contract Comparisonzubair-trabzada/ai-legal-claude1.8k—~1.8kAutomated safety check: PassNone

Similar skills

  • Gaia Architecture Comparison

    ruvnet/ruflo

    Side-by-side comparison of ruflo vs HAL vs other GAIA harnesses — capability gaps, design decisions, and improvement roadmap

    74k GitHub stars~1.3k tokensUpdated today
    DevelopmentAuto-check: notes

  • Perf Comparison

    ClickHouse/ClickHouse

    Evaluate ClickHouse performance test results from existing CI/dashboard data or local perf.py runs.

    50k GitHub stars~3.9k tokensUpdated today
    DatabasesAuto-check: notes

  • Use Iris

    marin-community/marin

    Use Iris to submit, inspect, debug, monitor, or recover jobs and tasks; diagnose scheduling and federation; deploy controllers; or reserve dev GPUs and TPUs.

    3.9k GitHub stars~745 tokensUpdated today
    DevOps & CloudAuto-check passed

  • Offer Comparison Analyzer

    davila7/claude-code-templates

    Compare multiple job offers side-by-side with total compensation analysis.

    32k GitHub starsUsed in 2 repos~2.3k tokens
    Business, Finance & HRAuto-check passed

  • Contract Comparison

    zubair-trabzada/ai-legal-claude

    Side-by-side comparison of two contract versions or two different contracts with change tracking, favorability analysis, and risk assessment

    1.8k GitHub stars~1.8k tokensUpdated 6 mo ago
    Legal & ComplianceAuto-check passed

  • Template Comparison

    dotnet/skills

    Official

    Compares two or more dotnet new templates side by side to help users choose between them based on parameters, feature support, frameworks, and classifications.

    5.6k GitHub starsUsed in 1 repo~2.1k tokens
    Auto-check passed

More from purefunctor/purescript-iris

All 8 skills in this repo

  • Cutting Releases

    purefunctor/purescript-iris

    Cuts Iris GitHub releases through the version-bump PR, merge commit, tag-driven build workflow, attestations, installer tests, and generated release notes.

    117 GitHub stars~1.5k tokensUpdated today
    Auto-check passed

  • Stylex

    purefunctor/purescript-iris

    Write StyleX styles in PureScript with Iris through the built-in Iris.StyleX, Iris.StyleX.When, and Iris.StyleX.Types modules, which Iris compiles to @stylexjs/stylex calls.

    117 GitHub stars~2.7k tokensUpdated today
    Auto-check passed

  • Watch

    purefunctor/purescript-iris

    Ask a running iris watch about a PureScript project with iris watch query for signatures, module exports, definitions, references, instances, dependent modules, name search, diagnostics, and…

    117 GitHub stars~1.3k tokensUpdated today
    Auto-check passed

  • Workflow Integration Tests

    purefunctor/purescript-iris

    Workflow for adding and updating Iris integration-test fixtures for unified compiler, lowering, resolving, and LSP behavior.

    117 GitHub stars~2.3k tokensUpdated today
    Auto-check passed

  • Workflow Regression Tests

    purefunctor/purescript-iris

    Workflow for producing auditable Git or jj history for a known compiler bug fix.

    117 GitHub stars~1.8k tokensUpdated today
    Auto-check passed

  • Writing Code Commentary

    purefunctor/purescript-iris

    Writes and reviews Iris compiler comments, algorithm traces, and documentation examples.

    117 GitHub stars~2.8k tokensUpdated today
    Auto-check passed

Questions about Running Compatibility Checks

What does Running Compatibility Checks do?

Runs Iris package-set compatibility comparisons with release-built verifiers. Running Compatibility Checks is an agent skill from purefunctor/purescript-iris. Runs Iris package-set compatibility comparisons with release-built verifiers.

When should I use Running Compatibility Checks?

Running Compatibility Checks fits situations like: checking the current checkout against a base revision; investigating compatibility regressions; reviewing compatibility reports.

How do I install Running Compatibility Checks in Claude Code?

Run `npx skills add purefunctor/purescript-iris --skill running-compatibility-checks -a claude-code`. Or copy the skill folder (.agents/skills/running-compatibility-checks in purefunctor/purescript-iris) into .claude/skills/running-compatibility-checks in your project. Claude Code loads it when a task matches its description.

How do I install Running Compatibility Checks in Codex?

Run `npx skills add purefunctor/purescript-iris --skill running-compatibility-checks -a codex`. Or copy the skill folder (.agents/skills/running-compatibility-checks in purefunctor/purescript-iris) into .agents/skills/running-compatibility-checks in your project. Codex loads it when a task matches its description.

Can I use Running Compatibility Checks 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 purefunctor/purescript-iris --skill running-compatibility-checks -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/running-compatibility-checks, .gemini/skills/running-compatibility-checks, .github/skills/running-compatibility-checks and .opencode/skills/running-compatibility-checks in your project.

What does Running Compatibility Checks need to run?

Going by SKILL.md and its folder, Running Compatibility Checks needs a shell for the scripts in its folder and the command-line tools its instructions call (just, cargo and git). Our summary lists: A Bash shell.

Does Running Compatibility Checks access the network?

SKILL.md contains no URLs. Its commands use git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.

Is Running Compatibility Checks 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. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.

What licence does Running Compatibility Checks use?

Running Compatibility Checks has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.

How many tokens does Running Compatibility Checks use?

About 605 tokens (SKILL.md is roughly 2.4k 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 Running Compatibility Checks?

Skills that share tags, products or a category with Running Compatibility Checks: Gaia Architecture Comparison (ruvnet/ruflo, 74k stars), Perf Comparison (ClickHouse/ClickHouse, 50k stars), Use Iris (marin-community/marin, 3.9k stars) and Offer Comparison Analyzer (davila7/claude-code-templates, 32k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Running Compatibility Checks?

purefunctor (a GitHub user) maintains it in purefunctor/purescript-iris, which has 117 GitHub stars. The repository holds 8 skills in this directory. The repository was last updated on October 8, 2026.

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