Skills
.Work. You
Rest

midenc-execution-trace

Community

Trace MASM VM execution to inspect the stack.

Software Engineering#testing#debugging#trace#stack-trace#masm#midenc#miden
Authorgreenhat
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This skill enables tracing MASM execution to understand the stack state after each instruction, helping debug Miden compiler runs and tests.

Core Features & Use Cases

  • Step-by-step MASM execution trace that prints the current stack after every instruction.
  • Guided workflow for reproducing issues on the smallest test and comparing traces against expected stack discipline.
  • Practical tips for integrating with the emit tool when needed during debugging.

Quick Start

MIDENC_TRACE=executor=trace cargo make test --no-capture <test_name_or_filter> MIDENC_TRACE=executor=trace cargo make test <test_name_or_filter> MIDENC_TRACE=executor=trace cargo make test --success-output immediate <test_name_or_filter>

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: midenc-execution-trace
Download link: https://github.com/greenhat/agent-skills/archive/main.zip#midenc-execution-trace

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.