Skill Claude CodeCodex
Use when writing kernel, account, or note MASM code that reads from or writes to the advice provider (advice stack / advice map) — validate advice data.
2 5d ago A 41 tokens
2Stars on the repository
40Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Skill Claude CodeCodex
Use when writing or reviewing MASM hot paths — prefer the cheaper equivalent instruction: neq.0 over push.0 gt for non-zero checks, cdrop over an if/else selecting between two values, dup.N over locload for a value still on the stack, eqw over hand-rolled element-wise word comparison, u32gt/u32lt over generic gt/lt on…
2 5d ago A 0 tokens
Skill Claude CodeCodex
Use when writing a GENERIC MASM storage utility (one that operates over a caller-chosen slot or map) inside a reusable account component — receive the slot id as a parameter so the utility works against any slot, not one hard-coded one.
2 5d ago A 56 tokens
Skill Claude CodeCodex
Use when constructing a Felt from a numeric value in Rust — avoid silently producing a non-canonical Felt that no longer equals the original input.
2 5d ago A 35 tokens
Skill Claude CodeCodex
Critical pitfalls and safety rules for Miden frontend development. Covers WASM initialization, concurrent access crashes, COOP/COEP headers, BigInt handling, Bech32 network mismatches, IndexedDB state loss, auto-sync side effects, Vite configuration, and React rendering race conditions. Use when reviewing, debugging…
2 5d ago A 76 tokens
Skill Claude CodeCodex
Guide for advanced Miden frontend development using source repo exploration. Covers AI development practices (Plan Mode, verification-driven development, context engineering, sub-agents) and maps the Miden web-sdk source repository for discovering advanced patterns. Use when building complex applications beyond basic…
2 5d ago A 78 tokens
Skill Claude CodeCodex
Enforce conventions for the IndexedDB/Dexie persistence layer of the Miden web client, which lives in the web-sdk repo (idxdb-store crate). Use when editing TypeScript in crates/idxdb-store/src/ts/, writing Dexie transactions, or modifying the database schema.
2 5d ago A 66 tokens
Skill Claude CodeCodex
Validates Miden contracts against a local node. Covers node setup, Rust binary adaptation, state verification, and troubleshooting. Use after MockChain tests pass to verify contracts work against a real node.
2 5d ago C 43 tokens
Skill Claude CodeCodex
Enforce constant definition and organization conventions for Miden Assembly (.masm) files. Use when editing, reviewing, or creating .masm files that define or use constants.
2 5d ago A 40 tokens
Skill Claude CodeCodex
Enforce doc comment conventions for Miden Assembly (.masm) procedures. Use when editing, reviewing, or creating .masm procedures, especially when documenting inputs, outputs, panic conditions, or invocation types.
2 5d ago A 47 tokens
Skill Claude CodeCodex
Use when adding or editing MASM assert instructions — give every assertion a descriptive error (a named ERR constant or an inline string).
2 5d ago A 38 tokens
Skill Claude CodeCodex
Use when defining the interface for a new MASM procedure — keep its inputs explicit on the stack so the signature reflects what it consumes.
2 5d ago A 35 tokens
Skill Claude CodeCodex
Enforce file structure and section ordering for Miden Assembly (.masm) files. Use when editing, reviewing, or creating .masm files.
2 5d ago A 36 tokens
Skill Claude CodeCodex
Orchestrator for MASM formatting in 0xMiden/protocol and 0xMiden/miden-vm. Consolidates capitalization, the (N) span family, cross-repo doc comment divergences (plural vs singular Inputs/Outputs, Panics if vs.
2 5d ago A 61 tokens
Skill Claude CodeCodex
Enforce inline commenting conventions for Miden Assembly (.masm) files. Use when editing, reviewing, or creating .masm files.
2 5d ago A 33 tokens
Skill Claude CodeCodex
Use when a MASM procedure needs temporary scratch storage — keep it in procedure-local memory so it cannot collide in a shared global region.
2 5d ago A 36 tokens
Skill Claude CodeCodex
Use when writing or editing MASM or Rust code that contains meaningful numeric literals — promote them to named constants with a single source of truth.
2 5d ago A 35 tokens
masm-padding
18Skill Claude CodeCodex
Enforce stack padding conventions for Miden Assembly (.masm) procedures based on invocation type. Use when editing, reviewing, or creating .masm procedures, especially those with Invocation annotations.
2 5d ago A 42 tokens
Skill Claude CodeCodex
Use when changing a numeric or string constant in Rust or MASM that has a counterpart on the other side — keep the two definitions from drifting apart.
2 5d ago A 39 tokens
Skill Claude CodeCodex
Miden architecture and core concepts from a developer perspective. Covers the actor model, accounts, notes, transactions, assets, privacy model, and standard patterns. Use when designing Miden applications or understanding how Miden differs from traditional blockchains.
2 5d ago A 53 tokens
Skill Claude CodeCodex
Complete guide to building Miden frontends with @miden-sdk/react hooks. Covers MidenProvider setup, all query hooks (useAccounts, useAccount, useNotes, useSyncState, useAssetMetadata), all mutation hooks (useCreateWallet, useSend, useMultiSend, useMint, useConsume, useSwap, useTransaction, useCreateFaucet)…
2 5d ago A 105 tokens
Skill Claude CodeCodex
Enforce coding conventions for the miden-client Rust codebase (rust-client, sqlite-store). Use when editing, reviewing, or creating Rust code in the miden-client workspace — covers error handling, Store trait methods, the Client generic, the Keystore super-trait that constrains the ClientBuilder, builder constructors…
2 5d ago A 83 tokens
Skill Claude CodeCodex
Complete guide to writing Miden smart contracts with the Rust SDK. Covers the three-part.
2 5d ago A 22 tokens
Skill Claude CodeCodex
Critical pitfalls and safety rules for Miden Rust SDK development. Covers felt arithmetic security, comparison operators, argument limits, storage naming, no-std setup, asset layout, P2ID roots, NoteType construction, note-to-component call boundaries, and note input immutability. Use when reviewing, debugging, or…
2 5d ago A 75 tokens