0xMiden

0xMiden/docs

Instructions file

Instructions for 0xMiden/docs, covering miden docs — claude.md, project, key directories, commands and rules.

0xMiden/agent-tools

Command

You are a debugging expert specializing in setting up comprehensive debugging environments, distributed tracing, and diagnostic tools. Configure debugging workflows, implement tracing solutions, and establish troubleshooting practices for development and production environments.

0xMiden/agent-tools

Command

You are a dependency security expert specializing in vulnerability scanning, license compliance, and supply chain security. Analyze project dependencies for known vulnerabilities, licensing issues, outdated packages, and provide actionable remediation strategies.

0xMiden/agent-tools

Command

You are a PR optimization expert specializing in creating high-quality pull requests that facilitate efficient code reviews. Generate comprehensive PR descriptions, automate review processes, and ensure PRs follow best practices for clarity, size, and reviewability.

0xMiden/agent-tools

Command

You are a critical reviewer of software design documents and implementation plans.

0xMiden/agent-tools

Command

You are a security-focused code reviewer specializing in web3, WASM, and TypeScript/Rust applications.

0xMiden/agent-tools

Command

Generate daily standup notes by reviewing Obsidian vault context and Jira tickets.

0xMiden/agent-tools

Command

Execute a comprehensive Test-Driven Development (TDD) workflow with strict red-green-refactor discipline.

0xMiden/agent-tools

Command

You are a technical debt expert specializing in identifying, quantifying, and prioritizing technical debt in software projects. Analyze the codebase to uncover debt, assess its impact, and create actionable remediation plans.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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…

0xMiden/agent-tools

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.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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…

0xMiden/agent-tools

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…

0xMiden/agent-tools

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.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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.

0xMiden/agent-tools

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

0xMiden/agent-tools

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.

0xMiden/agent-tools

Skill Claude CodeCodex

Enforce file structure and section ordering for Miden Assembly (.masm) files. Use when editing, reviewing, or creating .masm files.

0xMiden/agent-tools

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.

0xMiden/agent-tools

Skill Claude CodeCodex

Enforce inline commenting conventions for Miden Assembly (.masm) files. Use when editing, reviewing, or creating .masm files.