0xMiden

0xMiden/agent-tools

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.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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

0xMiden/agent-tools

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.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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)…

0xMiden/agent-tools

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…

0xMiden/agent-tools

Skill Claude CodeCodex

Complete guide to writing Miden smart contracts with the Rust SDK. Covers the three-part.

0xMiden/agent-tools

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…

0xMiden/agent-tools

Skill Claude CodeCodex

Guide for advanced Miden smart contract development using source repo exploration. Covers AI development practices (Plan Mode, verification-driven development, context engineering, sub-agents) and maps Miden source repositories for discovering advanced patterns. Use when building complex multi-contract applications…

0xMiden/agent-tools

Skill Claude CodeCodex

Guide to testing Miden smart contracts with MockChain (Miden v0.15). Covers test setup, contract building, account/note creation, transaction execution, storage verification, faucet setup, output note verification, block numbering, multi-transaction tests, and asset-bearing notes. Use when writing, editing, or…

0xMiden/agent-tools

Skill Claude CodeCodex

Guide to integrating external signers (Para, Turnkey, MidenFi wallet adapter) and building custom signers for Miden React frontends. Covers provider setup, passkey authentication, unified signer interface, custom SignerContext implementation, and custom account components. Use when adding wallet connection…

0xMiden/agent-tools

Skill Claude CodeCodex

Testing conventions, mock factory, fixtures, and TDD workflow for Miden frontend development. Covers Vitest + testing-library setup, @miden-sdk/react module mocking, realistic fixture data, test patterns for query and mutation hooks, and the automated verification pipeline. Use when writing, running, or debugging…

0xMiden/agent-tools

Skill Claude CodeCodex

Use when writing MASM u32 instructions on values from user input or untrusted sources — ensure the operands are valid u32s first.

0xMiden/agent-tools

Skill Claude CodeCodex

Guide to configuring Vite for Miden WASM applications. Covers the midenVitePlugin() setup, COOP/COEP headers, production deployment headers, TypeScript compatibility, and troubleshooting common Vite + WASM issues. Use when setting up a new Miden frontend, debugging build or runtime errors related to WASM or Vite…

0xMiden/agent-tools

Skill Claude CodeCodex

Enforce conventions for the Rust JavaScript WASM boundary in the web-sdk repo (crate miden-client-web at crates/web-client, split out of miden-client). Use when exposing Rust methods to JS via the.

0xMiden/agent-tools

Skill Claude CodeCodex

Conventions for writing JavaScript/TypeScript code that uses the Miden web SDK (@miden-sdk/miden-sdk). Use when building apps on Miden, writing integration tests, or calling MidenClient methods — covers initialization, the resource-based API (accounts, transactions, notes, keystore, compile), sync ordering, type…