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

Pyrope

by masc-ucsc in masc-ucsc/livehd

Write and check Pyrope (LiveHD's HDL). An agent skill from masc-ucsc/livehd.

Custom licenceAuto-check passedWriting & Content

Install Pyrope

skills CLI
$ npx skills add masc-ucsc/livehd --skill pyrope -a claude-code

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

GitHub CLI
$ gh skill install masc-ucsc/livehd pyrope --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/masc-ucsc/livehd.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/pyrope .claude/skills/pyrope && 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
pyrope
GitHub stars
242
Token cost
~16k tokens
SKILL.md length
8,001 words
Files
1
Skills in repo
1
Repo updated
First seen
Licence
Custom licence

At a glance

Write and check Pyrope (LiveHD's HDL). An agent skill from masc-ucsc/livehd.

  • Works in 12 steps: return X is always wrong — assign the… → Outputs must be named in -> (...); no… → match is parallel, not priority:… → …
  • Editing .prp files
  • SKILL.md covers Ground rules, Lambdas (the only functions), Tuples, arrays, types and Bit selection and reduction, plus 15 more sections
  • Calls bazel

What it does

Pyrope is an agent skill from masc-ucsc/livehd. Write and check Pyrope (LiveHD's HDL). Use when creating or editing .prp files, translating Verilog to/from Pyrope, or answering Pyrope syntax questions.

Its SKILL.md is about 16k 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 Writing & Content, covering Translation. The repository describes itself as: Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation.

When your agent uses it

  • Editing .prp files
  • Translating Verilog to/from Pyrope
  • Answering Pyrope syntax questions

Example prompts

  • “/pyrope”

Workflow steps

12 steps, taken from the first numbered list in SKILL.md.

  1. return X is always wrong — assign the named output, then bare return.
  2. Outputs must be named in -> (...); no positional returns; clause is
  3. match is parallel, not priority: overlapping arms break the one-hot
  4. when/unless trailing gates and .[defer] no longer exist — if blocks
  5. @[N] never inserts flops (pure check); stage[N] inserts them
  6. No Bool/integer mixing, also across ports and instance outputs: if 5 {} is a
  7. Narrowing assignments need wrap/sat; widths come from types, never from
  8. Loop bounds must be comptime (loops unroll); tick (test-only) is the only
  9. 0b1010 is invalid — 0ub1010/0sb1010. No bare ?/_ initializers;
  10. ++ is tuple/string concat, never arithmetic. #[] bits vs [] elements
  11. Name your call arguments (f(a=1, b=2)); UFCS only on self lambdas;
  12. The comptime [...] slot is a syntax error — comptime parameters are

What it can do on your machine

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

    • bazel

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

  • Network

    Links to these hosts (documentation or services it may open):

    • masc-ucsc.github.io

    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

Pyrope loads about 16k tokens when it runs. Until then it costs about 40 tokens; SKILL.md has 8,001 words of instructions outside code blocks.

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

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 8,001 words (~15,622 tokens).

“Pyrope is a hardware description language: every construct elaborates to wires, muxes, flops, and memories. This file is the working subset needed to generate correct code. The full spec lives at (Pyrope chapters 00–15, e.g. pyrope/01b-quick_intro/ is the human-oriented condensation…”

— opening of SKILL.md by masc-ucsc, Custom licence
name
pyrope

Read the full SKILL.md on GitHub

Files

Just SKILL.md in .claude/skills/pyrope of masc-ucsc/livehd.

Open the folder on GitHubat commit 8bea45d

Compare with similar skills

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

Pyrope compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Pyrope this skillmasc-ucsc/livehd242—~16kAutomated safety check: PassCustom licence
Translation Diff ExportDevolutions/UniGetUI26k—~1.1kAutomated safety check: PassMIT
Sync Translationssymfony/symfony31k—~1.9kAutomated safety check: PassMIT
Translation Diff ImportDevolutions/UniGetUI26k—~750Automated safety check: PassMIT
Translation Diff TranslateDevolutions/UniGetUI26k—~934Automated safety check: PassMIT
Generate Translationspayloadcms/payload45k—~1.1kAutomated safety check: PassMIT

Similar skills

  • Translation Diff Export

    Devolutions/UniGetUI

    Compares UniGetUI JSON locale files against English, identifies untranslated or source-changed keys, and generates patch, reference, and handoff files for a target language.

    26k GitHub stars~1.1k tokensUpdated yesterday
    Writing & ContentAuto-check passed

  • Sync Translations

    symfony/symfony

    Synchronize translation catalogs across maintained Symfony branches: find messages that newer branches added to the English catalogs but that are still missing from the oldest maintained branch…

    31k GitHub stars~1.9k tokensUpdated yesterday
    Writing & ContentAuto-check passed

  • Translation Diff Import

    Devolutions/UniGetUI

    Merges translated key-value pairs from a UniGetUI JSON localization patch back into the full language file and validates the merged result.

    26k GitHub stars~750 tokensUpdated yesterday
    Writing & ContentAuto-check passed

  • Translation Diff Translate

    Devolutions/UniGetUI

    Translates a sparse UniGetUI JSON language patch, writes completed entries into the working copy, preserves placeholders and terminology, and prepares the patch for merge-back.

    26k GitHub stars~934 tokensUpdated yesterday
    Writing & ContentAuto-check passed

  • Generate Translations

    payloadcms/payload

    A skill your agent uses when new translation keys are added to packages to generate new translations strings

    45k GitHub stars~1.1k tokensUpdated yesterday
    Writing & ContentAuto-check passed

  • InkOS Creative Harness

    Narcooo/inkos

    Drives long-form fiction, scripts, storyboards, interactive films and long-document translation through InkOS, with every change made by a typed action.

    10k GitHub starsUsed in 1 repo~1.1k tokens
    Writing & ContentAuto-check passed

Categories

Questions about Pyrope

What does Pyrope do?

Write and check Pyrope (LiveHD's HDL). An agent skill from masc-ucsc/livehd. Pyrope is an agent skill from masc-ucsc/livehd. Write and check Pyrope (LiveHD's HDL).

When should I use Pyrope?

Pyrope fits situations like: editing .prp files; translating Verilog to/from Pyrope; answering Pyrope syntax questions.

How do I install Pyrope in Claude Code?

Run `npx skills add masc-ucsc/livehd --skill pyrope -a claude-code`. Or copy the skill folder (.claude/skills/pyrope in masc-ucsc/livehd) into .claude/skills/pyrope in your project. Claude Code loads it when a task matches its description.

How do I install Pyrope in Codex?

Run `npx skills add masc-ucsc/livehd --skill pyrope -a codex`. Or copy the skill folder (.claude/skills/pyrope in masc-ucsc/livehd) into .agents/skills/pyrope in your project. Codex loads it when a task matches its description.

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

What does Pyrope need to run?

Going by SKILL.md and its folder, Pyrope needs the command-line tools its instructions call (bazel).

Does Pyrope access the network?

SKILL.md names 1 domain. As links in the text: masc-ucsc.github.io. This is read from the text; nothing was executed.

Is Pyrope 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 Pyrope use?

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

About 16k tokens (SKILL.md is roughly 62k 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 Pyrope?

Skills that share tags, products or a category with Pyrope: Translation Diff Export (Devolutions/UniGetUI, 26k stars), Sync Translations (symfony/symfony, 31k stars), Translation Diff Import (Devolutions/UniGetUI, 26k stars) and Translation Diff Translate (Devolutions/UniGetUI, 26k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Pyrope?

masc-ucsc (a GitHub organization) maintains it in masc-ucsc/livehd, which has 242 GitHub stars. The repository was last updated on October 8, 2026.

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