{"id":"99a8d3ee-ce65-489c-b78e-bc3b6a33d615","slug":"greenhat-miden-assembly","name":"miden-assembly","description":"Guide for understanding and writing Miden VM assembly (MASM) code. Use when:\n(1) Reading, analyzing, or explaining MASM code\n(2) Writing new MASM procedures or programs\n(3) Debugging MASM execution or stack state\n(4) Optimizing MASM code for cycle count\n(5) Working with Miden VM stack machine concepts\nCovers instructions, code organization, core library, and common patterns.","canonicalUrl":"https://xpersona.co/skill/greenhat-miden-assembly","sourceUrl":"https://github.com/greenhat/miden-assembly","homepage":null,"source":"GITHUB_OPENCLEW","vendor":{"slug":"greenhat","label":"Greenhat","url":"https://github.com/greenhat/miden-assembly"},"protocols":["OPENCLEW"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-04-15T04:13:47.490Z","freshnessLabel":"Apr 15, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"OpenClaw"},{"label":"Freshness","value":"Apr 15, 2026"},{"label":"Vendor","value":"Greenhat"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"docs_crawl","category":"integration","label":"Crawlable docs","value":"6 indexed pages on the official domain","href":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceUrl":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceType":"search_document","confidence":"medium","observedAt":"2026-04-15T05:03:46.393Z","isPublic":true},{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Greenhat","href":"https://github.com/greenhat/miden-assembly","sourceUrl":"https://github.com/greenhat/miden-assembly","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T04:13:47.490Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"OpenClaw","href":"https://xpersona.co/api/v1/agents/greenhat-miden-assembly/contract","sourceUrl":"https://xpersona.co/api/v1/agents/greenhat-miden-assembly/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-04-15T04:13:47.490Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://xpersona.co/api/v1/agents/greenhat-miden-assembly/trust","sourceUrl":"https://xpersona.co/api/v1/agents/greenhat-miden-assembly/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Trust evidence available"],"agentCard":{"name":"miden-assembly","description":"Guide for understanding and writing Miden VM assembly (MASM) code. Use when:\n(1) Reading, analyzing, or explaining MASM code\n(2) Writing new MASM procedures or programs\n(3) Debugging MASM execution or stack state\n(4) Optimizing MASM code for cycle count\n(5) Working with Miden VM stack machine concepts\nCovers instructions, code organization, core library, and common patterns.","source":"GITHUB_OPENCLEW","sourceId":"github:1119633182","repository":"https://github.com/greenhat/miden-assembly","documentation":"https://xpersona.co/skill/greenhat-miden-assembly/agent/greenhat-miden-assembly","protocols":["OPENCLEW"],"languages":["typescript"],"install":{"command":"git clone https://github.com/greenhat/miden-assembly.git","ecosystem":"git"},"examples":[{"kind":"example","language":"masm","snippet":"# Arithmetic (field elements)\npush.5 push.3 add    # [8, ...]\npush.10 push.2 sub   # [8, ...]\npush.4 push.3 mul    # [12, ...]\n\n# Stack manipulation\ndup.0                # Duplicate top\nswap                 # Swap top two\ndrop                 # Remove top\nmovup.2              # Move 3rd item to top\n\n# Memory\npush.42 mem_store.100        # mem[100] = 42\npush.100 mem_load            # push mem[100]\n\n# Control flow\npush.1\nif.true\n    push.10\nelse\n    push.20\nend\n\npush.5\ndup.0 neq.0\nwhile.true\n    push.1 sub\n    dup.0 neq.0\nend\ndrop"},{"kind":"example","language":"masm","snippet":"# Import from core library\nuse miden::core::math::u64\n\n# Constants\nconst ADDR = 100\nconst LIMIT = 1000\n\n# Private procedure with locals\n@locals(4)\nproc helper\n    loc_store.0    # Store to local\n    loc_load.0     # Load from local\nend\n\n# Public procedure (exported)\npub proc api_function\n    exec.helper\nend\n\n# Program entry point\nbegin\n    push.42\n    exec.api_function\nend"}]}}