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.
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…
Skill Claude CodeCodex
Complete guide to writing Miden smart contracts with the Rust SDK. Covers the three-part.
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…
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…
Skill Claude CodeCodex
Guide to testing Miden smart contracts with MockChain. 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 debugging Miden…
Skill Claude CodeCodex
Use when writing MASM u32 instructions whose operands must already fit in 32 bits, especially for user input or untrusted values.
Skill Claude CodeCodex
Enforce type-signature conventions for public Miden Assembly (.masm) procedures. Use when adding, editing, or reviewing a pub proc signature — parameter and return types, semantic type aliases, struct/array/tuple types, and how the signature maps onto the operand stack and the doc-comment Inputs/Outputs.
Skill Claude CodeCodex
Implement and validate code upgrades for existing Miden accounts on v0.17. Use when making an account upgradeable, building an account-code upgrade transaction, or sending an UpgradeNote to a network account. General release migrations belong in rust-sdk-source-guide.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: