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

U32 Assert Before U32 Ops

by 0xMiden in 0xMiden/protocol

A skill your agent uses when writing MASM u32 instructions whose operands must already fit in 32 bits, especially for user input or untrusted values.

MITAuto-check passedDevelopment

Install U32 Assert Before U32 Ops

skills CLI
$ npx skills add 0xMiden/protocol --skill u32-assert-before-u32-ops -a claude-code

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

GitHub CLI
$ gh skill install 0xMiden/protocol u32-assert-before-u32-ops --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/0xMiden/protocol.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/u32-assert-before-u32-ops .claude/skills/u32-assert-before-u32-ops && 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
u32-assert-before-u32-ops
GitHub stars
133
Token cost
~405 tokens
SKILL.md length
153 words
Files
1
Skills in repo
35
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when writing MASM u32 instructions whose operands must already fit in 32 bits, especially for user input or untrusted values.

  • Writing MASM u32 instructions whose operands must already fit in 32 bits
  • SKILL.md covers Rule, Why and Examples
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
  • Especially for user input

What it does

U32 Assert Before U32 Ops is an agent skill from 0xMiden/protocol. Use when writing MASM u32 instructions whose operands must already fit in 32 bits, especially for user input or untrusted values.

Its SKILL.md is about 410 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. The repository describes itself as: Core components of the Miden protocol. The licence is MIT.

When your agent uses it

  • Writing MASM u32 instructions whose operands must already fit in 32 bits
  • Especially for user input
  • Untrusted values

Example prompts

  • “/u32-assert-before-u32-ops”

What it can do on your machine

Read from SKILL.md and the folder at commit 5f6a246. 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 masm).

    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

U32 Assert Before U32 Ops loads about 405 tokens when it runs. Until then it costs about 40 tokens; SKILL.md has 153 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
~405

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

The full file from 0xMiden/protocol at commit 5f6a246, republished under its MIT licence (© 0xMiden). 153 words, ~405 tokens.

Download SKILL.mdSave it as .claude/skills/u32-assert-before-u32-ops/SKILL.md (or your agent's skills folder).
name
u32-assert-before-u32-ops
description
Use when writing MASM `u32*` instructions whose operands must already fit in 32 bits, especially for user input or untrusted values.

Validate Required u32 Operands

Rule

Most MASM u32* arithmetic instructions require operands that fit in 32 bits. Their behavior on an out-of-range operand is undefined, so the executor may trap and the resulting proof is not valid.

Before applying a u32* instruction whose documented precondition requires valid u32 operands, assert the bound of any operand that is not already known-valid (e.g. it came from the stack as input, was read from memory, or arose from a non-u32 arithmetic op):

masm
u32assert            # one value
u32assert2           # two top values
u32assertw           # one word (four values)

If the operand is already known-valid (just produced as a valid-u32 output of another operation, or loaded from a slot whose layout is u32 by construction), skip the assert.

u32test, u32testw, u32cast, and u32split accept arbitrary field values, so they do not require a prior u32 assertion.

Why

Arithmetic instructions do not check the u32 precondition for you. An explicit assertion prevents undefined behavior and gives an out-of-range input a clear failure mode.

Examples

masm
# Good: assert both operands before producing one wrapping sum
u32assert2.err=ERR_VALUES_NOT_U32
u32wrapping_add

# Good: both operands at once
u32assert2.err=ERR_VALUES_NOT_U32
u32lt

# Bad: u32 op on untrusted input
u32wrapping_add   # either operand could be greater than or equal to 2^32

© 0xMiden, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in .claude/skills/u32-assert-before-u32-ops of 0xMiden/protocol.

Open the folder on GitHubat commit 5f6a246

Compare with similar skills

U32 Assert Before U32 Ops 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.

U32 Assert Before U32 Ops compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
U32 Assert Before U32 Ops this skill0xMiden/protocol133—~405Automated safety check: PassMIT
Vercel Composition Patternssupabase/supabase111k58 repos~726Automated safety check: PassMIT
Finishing a Development Branchobra/superpowers297k5 repos~1.9kAutomated safety check: PassMIT
Typescript Advanced Typesrolling-scopes/rsschool-app10k25 repos~4.2kAutomated safety check: PassMPL-2.0
PR Babysitteropeninterpreter/openinterpreter69k3 repos~4.2kAutomated safety check: PassApache-2.0
Code Review ChecklistshareAI-lab/learn-claude-code78k5 repos~1.1kAutomated safety check: PassMIT

Similar skills

  • Vercel Composition Patterns

    supabase/supabase

    Official

    React composition patterns that scale. An agent skill from supabase/supabase.

    111k GitHub starsUsed in 58 repos~726 tokens
    DevelopmentAuto-check passed

  • Finishing a Development Branch

    obra/superpowers

    Walks the last step of a branch: confirm tests pass, detect the git environment, ask how to integrate, carry out your choice and clean up the worktree.

    297k GitHub starsUsed in 5 repos~1.9k tokens
    DevelopmentAuto-check passed

  • Typescript Advanced Types

    rolling-scopes/rsschool-app

    Master TypeScript's advanced type system including generics, conditional types, mapped types, template literals, and utility types for building type-safe applications.

    10k GitHub starsUsed in 25 repos~4.2k tokens
    DevelopmentAuto-check passed

  • PR Babysitter

    openinterpreter/openinterpreter

    Watches an open GitHub pull request until it merges, handling review comments, diagnosing CI failures and retrying flaky checks along the way.

    69k GitHub starsUsed in 3 repos~4.2k tokens
    DevelopmentAuto-check passed

  • 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

  • Greploop

    onyx-dot-app/onyx

    Iteratively improves a PR (GitHub), MR (GitLab), or shelved changelist (Perforce) until Greptile gives it a 5/5 confidence score with zero unresolved comments.

    32k GitHub starsUsed in 4 repos~3.3k tokens
    DevelopmentAuto-check passed

More from 0xMiden/protocol

All 35 skills in this repo

  • Advice Provider Hygiene

    0xMiden/protocol

    A skill your agent uses when writing kernel, account, or note MASM code that reads from or writes to the advice provider (advice stack / advice map) — validate advice data.

    133 GitHub stars~1.1k tokensUpdated today
    Auto-check passed

  • Cheap Masm Equivalents

    0xMiden/protocol

    A skill your agent uses when writing or reviewing MASM hot paths or loops — prefer the cheaper equivalent: loop counters and pointers on the operand stack instead of procedure locals, neq.0 over…

    133 GitHub stars~804 tokensUpdated today
    Auto-check passed

  • Concise Changelog Entries

    0xMiden/protocol

    Keep CHANGELOG.md entries to a single concise sentence. An agent skill from 0xMiden/protocol.

    133 GitHub stars~805 tokensUpdated today
    Auto-check passed

  • Concise PR And Issue Descriptions

    0xMiden/protocol

    Keep PR and issue descriptions short and decision-focused. An agent skill from 0xMiden/protocol.

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

  • Conversion Method Naming

    0xMiden/protocol

    A skill your agent uses when naming a conversion or accessor method in Rust — follow the Rust API naming conventions for the method's cost and ownership.

    133 GitHub stars~450 tokensUpdated today
    Auto-check passed

  • Decouple Component From Storage

    0xMiden/protocol

    A skill your agent uses when writing a generic MASM utility that accesses a caller-selected account storage slot — receive the slot as a parameter so the utility is portable across storage layouts.

    133 GitHub stars~529 tokensUpdated today
    Auto-check passed

Categories

Questions about U32 Assert Before U32 Ops

What does U32 Assert Before U32 Ops do?

A skill your agent uses when writing MASM u32 instructions whose operands must already fit in 32 bits, especially for user input or untrusted values. U32 Assert Before U32 Ops is an agent skill from 0xMiden/protocol. Use when writing MASM u32 instructions whose operands must already fit in 32 bits, especially for user input or untrusted values.

When should I use U32 Assert Before U32 Ops?

U32 Assert Before U32 Ops fits situations like: writing MASM u32 instructions whose operands must already fit in 32 bits; especially for user input; untrusted values.

How do I install U32 Assert Before U32 Ops in Claude Code?

Run `npx skills add 0xMiden/protocol --skill u32-assert-before-u32-ops -a claude-code`. Or copy the skill folder (.claude/skills/u32-assert-before-u32-ops in 0xMiden/protocol) into .claude/skills/u32-assert-before-u32-ops in your project. Claude Code loads it when a task matches its description.

How do I install U32 Assert Before U32 Ops in Codex?

Run `npx skills add 0xMiden/protocol --skill u32-assert-before-u32-ops -a codex`. Or copy the skill folder (.claude/skills/u32-assert-before-u32-ops in 0xMiden/protocol) into .agents/skills/u32-assert-before-u32-ops in your project. Codex loads it when a task matches its description.

Can I use U32 Assert Before U32 Ops 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 0xMiden/protocol --skill u32-assert-before-u32-ops -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/u32-assert-before-u32-ops, .gemini/skills/u32-assert-before-u32-ops, .github/skills/u32-assert-before-u32-ops and .opencode/skills/u32-assert-before-u32-ops in your project.

What does U32 Assert Before U32 Ops need to run?

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

Does U32 Assert Before U32 Ops 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 U32 Assert Before U32 Ops 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 U32 Assert Before U32 Ops use?

U32 Assert Before U32 Ops is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does U32 Assert Before U32 Ops use?

About 405 tokens (SKILL.md is roughly 1.6k 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 U32 Assert Before U32 Ops?

Skills that share tags, products or a category with U32 Assert Before U32 Ops: Vercel Composition Patterns (supabase/supabase, 111k stars), Finishing a Development Branch (obra/superpowers, 297k stars), Typescript Advanced Types (rolling-scopes/rsschool-app, 10k stars) and PR Babysitter (openinterpreter/openinterpreter, 69k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains U32 Assert Before U32 Ops?

0xMiden (a GitHub organization) maintains it in 0xMiden/protocol, which has 133 GitHub stars. The repository holds 35 skills in this directory. The repository was last updated on October 8, 2026.

Source: 0xMiden/protocol on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.