Repository
purefunctor/purescript-iris agent skills
- skills
- 7
- GitHub stars
- 117
GitHub description: “A compiler for the PureScript programming language.”
- Stars
- 117 (11 forks)
- Licence
- Unknown
- Last push
- Oct 2026
- Created
- Jul 2023
- Homepage
- iris-lang.com
- functional-programming
- purescript
- compiler
Install all skills
npx skills add purefunctor/purescript-irisAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in purefunctor/purescript-iris, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Runs Iris package-set compatibility comparisons with release-built verifiers. | purefunctor/ | 117 | — | ~605 | Automated safety check: Pass | Unknown | today |
| 2 | Cuts Iris GitHub releases through the version-bump PR, merge commit, tag-driven build workflow, attestations, installer tests, and generated release notes. | purefunctor/ | 117 | — | ~1.5k | Automated safety check: Pass | Unknown | today |
| 3 | 3.Watch 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… | purefunctor/ | 117 | — | ~1.3k | Automated safety check: Pass | Unknown | today |
| 4 | Workflow for adding and updating Iris integration-test fixtures for unified compiler, lowering, resolving, and LSP behavior. | purefunctor/ | 117 | — | ~2.3k | Automated safety check: Pass | Unknown | today |
| 5 | Workflow for producing auditable Git or jj history for a known compiler bug fix. | purefunctor/ | 117 | — | ~1.8k | Automated safety check: Pass | Unknown | today |
| 6 | Writes and reviews Iris compiler comments, algorithm traces, and documentation examples. | purefunctor/ | 117 | — | ~2.8k | Automated safety check: Pass | Unknown | today |
| 7 | Gates new or changed Iris tests and audits low-value, implementation-coupled, or duplicative coverage and test-only production seams. | purefunctor/ | 117 | — | ~2.7k | Automated safety check: Pass | MIT | today |
Questions, answered from the data.
What is the best skill in purefunctor/purescript-iris?
Running Compatibility Checks from purefunctor/purescript-iris ranks first of the 7 skills in purefunctor/purescript-iris listed here, with the highest score: its repository has 117 GitHub stars, its SKILL.md loads about 605 tokens and it passes the automated safety check with no findings. Next come Cutting Releases and Watch.
Are the skills in purefunctor/purescript-iris official?
None yet. All 7 skills in purefunctor/purescript-iris listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from purefunctor/purescript-iris?
Run npx skills add purefunctor/purescript-iris in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.