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…

Custom licenceAuto-check passed

Install Watch

skills CLI
$ npx skills add purefunctor/purescript-iris --skill watch -a claude-code

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

GitHub CLI
$ gh skill install purefunctor/purescript-iris watch --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/compiler-executable/iris-cli/skills/watch .claude/skills/watch && 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
watch
GitHub stars
117
Token cost
~1.3k tokens
SKILL.md length
700 words
Files
1
Skills in repo
8
Repo updated
First seen
Licence
Custom licence

At a glance

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…

  • Working in a project built with Iris
  • SKILL.md covers Find the watcher, After editing files and Queries
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
  • After editing PureScript files

What it does

Watch is an agent skill from 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 generated JavaScript, addressed by qualified name. Use when working in a project built with Iris, after editing PureScript files, or instead of reading dependency sources to learn an API.

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

It works with JavaScript. The repository describes itself as: A compiler for the PureScript programming language.

When your agent uses it

  • Working in a project built with Iris
  • After editing PureScript files
  • Instead of reading dependency sources to learn an API

Example prompts

  • “/watch”

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

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

    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

Watch loads about 1.3k tokens when it runs. Until then it costs about 97 tokens; SKILL.md has 700 words of instructions outside code blocks.

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

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

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

“iris watch keeps the whole project compiled in memory, dependencies included. iris watch query asks it questions by qualified name, so you do not need to open files or start a second compiler.”

— opening of SKILL.md by purefunctor, Custom licence
name
watch

Read the full SKILL.md on GitHub

Files

Just SKILL.md in compiler-executable/iris-cli/skills/watch of purefunctor/purescript-iris.

Open the folder on GitHubat commit f62075e

Compare with similar skills

Watch 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.

Watch compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Watch this skillpurefunctor/purescript-iris117—~1.3kAutomated safety check: PassCustom licence
Code Review ChecklistshareAI-lab/learn-claude-code78k5 repos~1.1kAutomated safety check: PassMIT
Tailwindcss Developmentanonaddy/anonaddy4.9k10 repos~865Automated safety check: PassMIT
Figma use_figma Plugin API Ruleswarpdotdev/warp65k4 repos~4.4kAutomated safety check: PassAGPL-3.0
Install Anti-Slop Oxlint Rulesdmmulroy/anti-slop5.3k1 repos~2.2kAutomated safety check: PassMIT
GSAP Core Animationgreensock/gsap-skills16k4 repos~3.7kAutomated safety check: PassMIT

Similar skills

  • Code Review Checklist

    shareAI-lab/learn-claude-code

    Reviews code against a five-part checklist covering security, correctness, performance, maintainability and testing, and reports findings in a fixed format.

    78k GitHub starsUsed in 5 repos~1.1k tokens
    DevelopmentAuto-check passed
  • Tailwindcss Development

    anonaddy/anonaddy

    Always invoke when the user's message includes 'tailwind' in any form.

    4.9k GitHub starsUsed in 10 repos~865 tokens
    Frontend & DesignAuto-check passed
  • Required groundwork before any use_figma call: the rules and reference files for running JavaScript in a Figma file through the Plugin API without common failures.

    65k GitHub starsUsed in 4 repos~4.4k tokens
    Frontend & DesignAuto-check passed
  • Installs, updates or migrates the vendored anti-slop Oxlint plugin in a repository, keeping local rule changes and the plugin's license and provenance files.

    5.3k GitHub starsUsed in 1 repo~2.2k tokens
    DevelopmentAuto-check passed
  • GSAP Core Animation

    greensock/gsap-skills

    Covers the GSAP core API for tweens, easing, staggers, defaults and matchMedia, and when to choose GSAP over CSS animations or other JavaScript animation libraries.

    16k GitHub starsUsed in 4 repos~3.7k tokens
    Frontend & DesignAuto-check passed
  • Chrome CDP Browser Control

    zenstory-ai/oh-story-claudecode

    Drives a Chrome window over the DevTools Protocol with the agent-browser CLI, so the agent can reuse your logged-in sessions, read pages and pull tokens.

    7.4k GitHub starsUsed in 3 repos~1.2k tokens
    Productivity & AutomationAuto-check passed

More from purefunctor/purescript-iris

All 8 skills in this repo
  • Running Compatibility Checks

    purefunctor/purescript-iris

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

    117 GitHub stars~605 tokensUpdated today
    Auto-check passed
  • 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
  • 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

Works with

Questions about Watch

What does Watch do?

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…. Watch is an agent skill from 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 generated JavaScript, addressed by qualified name.

When should I use Watch?

Watch fits situations like: working in a project built with Iris; after editing PureScript files; instead of reading dependency sources to learn an API.

How do I install Watch in Claude Code?

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

How do I install Watch in Codex?

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

Can I use Watch 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 watch -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/watch, .gemini/skills/watch, .github/skills/watch and .opencode/skills/watch in your project.

What does Watch need to run?

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

Does Watch 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 Watch 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 Watch use?

Watch 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 Watch use?

About 1.3k tokens (SKILL.md is roughly 5.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 Watch?

Skills that share tags, products or a category with Watch: Code Review Checklist (shareAI-lab/learn-claude-code, 78k stars), Tailwindcss Development (anonaddy/anonaddy, 4.9k stars), Figma use_figma Plugin API Rules (warpdotdev/warp, 65k stars) and Install Anti-Slop Oxlint Rules (dmmulroy/anti-slop, 5.3k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Watch?

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.