Cutting A Release
TriliumNext/Trilium
A skill your agent uses when cutting, preparing, or debugging a Trilium release — bumping the monorepo version, tagging, or diagnosing a failed "Release" workflow run.
Cuts Iris GitHub releases through the version-bump PR, merge commit, tag-driven build workflow, attestations, installer tests, and generated release notes.
Install Cutting Releases
$ npx skills add purefunctor/purescript-iris --skill cutting-releases -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install purefunctor/purescript-iris cutting-releases --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/cutting-releases .claude/skills/cutting-releases && rm -rf skills-srcUse ~/.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/
Install the "cutting-releases" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releases into .claude/skills/cutting-releases/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "cutting-releases", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releasesType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add purefunctor/purescript-iris --skill cutting-releases -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install purefunctor/purescript-iris cutting-releases --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.agents/skills/cutting-releases .agents/skills/cutting-releases && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "cutting-releases" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releases into .agents/skills/cutting-releases/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "cutting-releases", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add purefunctor/purescript-iris --skill cutting-releases -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install purefunctor/purescript-iris cutting-releases --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.agents/skills/cutting-releases .cursor/skills/cutting-releases && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "cutting-releases" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releases into .cursor/skills/cutting-releases/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "cutting-releases", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/purefunctor/purescript-iris.git --path .agents/skills/cutting-releases--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add purefunctor/purescript-iris --skill cutting-releases -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install purefunctor/purescript-iris cutting-releases --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.agents/skills/cutting-releases .gemini/skills/cutting-releases && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "cutting-releases" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releases into .gemini/skills/cutting-releases/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "cutting-releases", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install purefunctor/purescript-iris cutting-releasesInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add purefunctor/purescript-iris --skill cutting-releases -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .github/skills && cp -r skills-src/.agents/skills/cutting-releases .github/skills/cutting-releases && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "cutting-releases" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releases into .github/skills/cutting-releases/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "cutting-releases", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add purefunctor/purescript-iris --skill cutting-releases -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install purefunctor/purescript-iris cutting-releases --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.agents/skills/cutting-releases .opencode/skills/cutting-releases && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "cutting-releases" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/cutting-releases into .opencode/skills/cutting-releases/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "cutting-releases", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
cutting-releases- GitHub stars
- 117
- Token cost
- ~1.5k tokens
- SKILL.md length
- 585 words
- Files
- 1
- Skills in repo
- 8
- Repo updated
- First seen
- Licence
- Custom licence
At a glance
Cuts Iris GitHub releases through the version-bump PR, merge commit, tag-driven build workflow, attestations, installer tests, and generated release notes.
- Works in 7 steps: Establish the release range → Prepare the version-bump commit → Open and validate the release PR → …
- Backfilling notes for a purescript-iris release
- SKILL.md covers 1. Establish the release range, 2. Prepare the version-bump…, 3. Open and validate the… and 4. Merge, then tag the merge…, plus 3 more sections
- Calls gh, git and cargo
What it does
Cutting Releases is an agent skill from 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. Use when preparing, publishing, verifying, or backfilling notes for a purescript-iris release.
Its SKILL.md is about 1.5k 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 Changelog and release notes. It works with GitHub. The repository describes itself as: A compiler for the PureScript programming language.
When your agent uses it
- Backfilling notes for a purescript-iris release
- Tasks that involve Changelog and release notes
Example prompts
- “/cutting-releases”
Workflow steps
7 steps, taken from the step headings in SKILL.md.
- Establish the release range
- Prepare the version-bump commit
- Open and validate the release PR
- Merge, then tag the merge commit
- Monitor the complete release workflow
- Generate and persist patch notes
- Final verification
What it can do on your machine
Read from SKILL.md and the folder at commit c483348. 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
Shell commands in SKILL.md call:
ghgitcargo
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md. Its commands use gh and 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
Cutting Releases loads about 1.5k tokens when it runs. Until then it costs about 67 tokens; SKILL.md has 585 words of instructions outside code blocks.
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 585 words (~1,535 tokens).
“Use this workflow for stable purescript-iris releases. A pushed stable v* tag triggers .github/workflows/release.yml, which creates the GitHub release, builds and attests four archives, and tests the installers on Linux, macOS, and Windows. Automated v-dev. canaries are owned by .github/workflows/canary.yml…”
- name
- cutting-releases
Files
Just SKILL.md in .agents/skills/cutting-releases of purefunctor/purescript-iris.
Open the folder on GitHubat commit c483348
Compare with similar skills
Cutting Releases 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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Cutting Releases this skillpurefunctor/purescript-iris | 117 | — | ~1.5k | Automated safety check: Pass | Custom licence | |
| Cutting A ReleaseTriliumNext/Trilium | 38k | — | ~3.2k | Automated safety check: Pass | AGPL-3.0 | |
| Mole CLI Release Flowtw93/Mole | 70k | — | ~2.6k | Automated safety check: Pass | GPL-3.0 | |
| Draft Release Notesjamiepine/voicebox | 57k | — | ~941 | Automated safety check: Pass | MIT | |
| Mole Release Notes Publishertw93/Mole | 70k | — | ~1.9k | Automated safety check: Pass | GPL-3.0 | |
| Release Bumpjamiepine/voicebox | 57k | — | ~1.1k | Automated safety check: Pass | MIT |
Similar skills
Mole CLI Release Flow
tw93/Mole
Runbook for assessing and executing a Mole CLI release: distribution channels, pre-flight checks, capital-V tags, build artifacts and the handoff to curated release notes.
Draft Release Notes
jamiepine/voicebox
Writes or refreshes the Unreleased section of CHANGELOG.md as a themed narrative built from the commits, PRs and diff since the last version tag.
Mole Release Notes Publisher
tw93/Mole
Publishes curated, bilingual release notes for an existing Mole version tag with gh release edit, including contributor thanks and reactions, after the release workflow finishes.
Release Bump
jamiepine/voicebox
Ends a release cycle by moving the Unreleased changelog notes under a dated version heading, bumping version files with bumpversion and tagging the commit.
Cut Release
jfernandez/bpftop
Cut a new versioned release of bpftop — pick the version, open a version-bump PR, sign-tag the merge commit on main, and draft GitHub release notes in the project's established format.
More from purefunctor/purescript-iris
All 8 skills in this repoRunning Compatibility Checks
purefunctor/purescript-iris
Runs Iris package-set compatibility comparisons with release-built verifiers.
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.
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…
Workflow Integration Tests
purefunctor/purescript-iris
Workflow for adding and updating Iris integration-test fixtures for unified compiler, lowering, resolving, and LSP behavior.
Workflow Regression Tests
purefunctor/purescript-iris
Workflow for producing auditable Git or jj history for a known compiler bug fix.
Writing Code Commentary
purefunctor/purescript-iris
Writes and reviews Iris compiler comments, algorithm traces, and documentation examples.
Related
Works with
Categories
Questions about Cutting Releases
What does Cutting Releases do?
Cuts Iris GitHub releases through the version-bump PR, merge commit, tag-driven build workflow, attestations, installer tests, and generated release notes. Cutting Releases is an agent skill from 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.
When should I use Cutting Releases?
Cutting Releases fits situations like: backfilling notes for a purescript-iris release; tasks that involve Changelog and release notes.
How do I install Cutting Releases in Claude Code?
Run `npx skills add purefunctor/purescript-iris --skill cutting-releases -a claude-code`. Or copy the skill folder (.agents/skills/cutting-releases in purefunctor/purescript-iris) into .claude/skills/cutting-releases in your project. Claude Code loads it when a task matches its description.
How do I install Cutting Releases in Codex?
Run `npx skills add purefunctor/purescript-iris --skill cutting-releases -a codex`. Or copy the skill folder (.agents/skills/cutting-releases in purefunctor/purescript-iris) into .agents/skills/cutting-releases in your project. Codex loads it when a task matches its description.
Can I use Cutting Releases 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 cutting-releases -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/cutting-releases, .gemini/skills/cutting-releases, .github/skills/cutting-releases and .opencode/skills/cutting-releases in your project.
What does Cutting Releases need to run?
Going by SKILL.md and its folder, Cutting Releases needs the command-line tools its instructions call (gh, git and cargo).
Does Cutting Releases access the network?
SKILL.md contains no URLs. Its commands use gh and git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
Is Cutting Releases 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 Cutting Releases use?
Cutting Releases 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 Cutting Releases use?
About 1.5k tokens (SKILL.md is roughly 6.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 Cutting Releases?
Skills that share tags, products or a category with Cutting Releases: Cutting A Release (TriliumNext/Trilium, 38k stars), Mole CLI Release Flow (tw93/Mole, 70k stars), Draft Release Notes (jamiepine/voicebox, 57k stars) and Mole Release Notes Publisher (tw93/Mole, 70k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Cutting Releases?
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 9, 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.