[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-jetbrains-wasm-inspector":3,"mdc--d7aauo-key":33,"related-repo-jetbrains-wasm-inspector":1080,"related-org-jetbrains-wasm-inspector":1088},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":11,"stars":22,"repoUrl":23,"updatedAt":24,"license":25,"forks":26,"topics":27,"repo":28,"sourceUrl":31,"mdContent":32},"wasm-inspector","inspect and reason about WebAssembly binaries","Use when inspecting or reasoning about a WebAssembly binary or component (.wasm) — imports\u002Fexports, functions, memories, globals, tables, element\u002Fdata segments, ABI or API diffs between two builds, crash-frame triage from a stack trace, host\u002Fsupply-chain import audits, memory and global-state policy checks, data-segment payload checks, or entry-point effects. Drives the bundled Hexana MCP server, which extracts ground-truth structure directly from the binary (prefer it over shell tools like objdump\u002Fstrings\u002Fhexdump for any .wasm fact).\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},"jetbrains","JetBrains","https:\u002F\u002Fpexgzepcugksgbtrxkhf.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Forg-logos\u002Fjetbrains.png",[12,16,19],{"name":13,"slug":14,"type":15},"Engineering","engineering","tag",{"name":17,"slug":18,"type":15},"Code Analysis","code-analysis",{"name":20,"slug":21,"type":15},"Debugging","debugging",18,"https:\u002F\u002Fgithub.com\u002FJetBrains\u002Fhexana","2026-07-13T06:43:51.049646",null,1,[],{"repoUrl":23,"stars":22,"forks":26,"topics":29,"description":30},[],"ADM-146984","https:\u002F\u002Fgithub.com\u002FJetBrains\u002Fhexana\u002Ftree\u002FHEAD\u002Fplugins\u002Fhexana\u002Fskills\u002Fwasm-inspector","---\nname: wasm-inspector\ndescription: >\n  Use when inspecting or reasoning about a WebAssembly binary or component (.wasm) — imports\u002Fexports,\n  functions, memories, globals, tables, element\u002Fdata segments, ABI or API diffs between two builds,\n  crash-frame triage from a stack trace, host\u002Fsupply-chain import audits, memory and global-state\n  policy checks, data-segment payload checks, or entry-point effects. Drives the bundled Hexana MCP\n  server, which extracts ground-truth structure directly from the binary (prefer it over shell tools\n  like objdump\u002Fstrings\u002Fhexdump for any .wasm fact).\n---\n\n# WASM binary inspection with Hexana\n\nHexana's MCP server reads ground truth straight from the `.wasm` binary. Use it for any structural\nfact about a WebAssembly module or component, and keep answers grounded in what the tool reports.\n\n## The tool\n\nOne tool: **`query_artifacts`**. Pass the binary (`path` to the `.wasm`) and an `operation`; output is\nbyte-bounded. Useful params:\n\n- `operation` — picks the query (table below). Default `overview`.\n- `query` — case-insensitive filter terms, or the payload for `crash_frames` \u002F `data_payload_audit`.\n- `entityTypes` — filter: `export`, `import`, `memory`, `global`, `function`, `element`.\n- `startName` \u002F `startFuncidx` — a function\u002Fimport\u002Fexport name or unified index for `trace` \u002F `host_call_diff`.\n- `relations` — `direct_call`, `direct_imported_call`, `indirect_call`, `memory_write`.\n- `baselinePath` — a second `.wasm` for diff-style operations.\n- `limit` (≤100), `detail` (`summary` | `evidence`), `maxBytes` (start small).\n\n## Pick the operation by task\n\n| Task | `operation` | Key params \u002F discipline |\n|------|-------------|-------------------------|\n| \"What is this module?\" \u002F counts | `overview` (default) | none — skip it entirely if the task already names a focused fact |\n| Triage a crash \u002F stack trace | `crash_frames` | **Read the crash report first; pass ALL numeric stack funcidx values as strings in `query` in ONE call.** Don't probe one frame at a time |\n| API\u002FABI changed between two builds | `api_diff` | `baselinePath` = the old `.wasm`. Returns changed signatures, public type indices, ref-type import ABI risks |\n| Exported ABI surface (one module) | `public_surface` | exported functions\u002Fsignatures |\n| Compact imports + exports (one module) | `abi_surface` | `limit=1` is often enough (summary JSON arrays) |\n| Host \u002F supply-chain import audit | `import_surface` | host manifest\u002Flink checks; `functionImportsJson` on the summary |\n| Memory declarations \u002F limit changes | `memory_contract` | add `baselinePath` for limit-change detection |\n| Mutable imported \u002F new exported globals | `global_state_policy` | — |\n| Data-segment payload policy check | `data_payload_audit` | **Read the policy first; pass all forbidden strings exactly, in ONE call.** Empty `query` returns only a reminder |\n| Exported-function local-count budget | `local_budget` | — |\n| Exports that write memory \u002F call host directly | `entrypoint_effects` | omit `relations` to scan both `memory_write` and `direct_imported_call` in one call |\n| Element-table slot target changes | `dispatch_table_diff` | `baselinePath` for the diff |\n| Direct imported-call regression from a function | `host_call_diff` | `startName` or `startFuncidx` |\n| Look up a specific symbol\u002Findex | any + `query` \u002F `startFuncidx` | resolve it from results first, then drill down |\n| No focused operation matches | `find` \u002F `diff` \u002F `trace` | generic fallbacks only |\n| Ambiguous task, no named fact | `triage` | last resort |\n\n## Rules (efficiency + correctness)\n\n- **One focused call, then stop.** Don't follow a focused operation with generic `find`\u002F`diff`\u002F`trace`\n  (e.g. `api_diff` → `find`, `import_surface` → `find`, `crash_frames` → per-frame `trace`,\n  `entrypoint_effects` → per-export `trace`) unless a required output field is genuinely missing.\n- **Gather inputs before calling** for `crash_frames` and `data_payload_audit` — one call, not a probe loop.\n- **Keep `limit` and `maxBytes` small.** Request `detail=evidence` only for the few records that need\n  offsets, locals, element lists, or instruction text.\n- **Path fields take a real path** — the task's `.wasm` path or the `modules[].path` echoed in the result.\n  Never write `local`, `current`, or `baseline` into a path field.\n- **Stay grounded in the tool output.** For any `.wasm` structural fact, prefer Hexana over shell tooling\n  (`objdump` \u002F `strings` \u002F `hexdump`); the MCP server reports the verified binary structure.",{"data":34,"body":35},{"name":4,"description":6},{"type":36,"children":37},"root",[38,47,62,69,109,343,349,847,853],{"type":39,"tag":40,"props":41,"children":43},"element","h1",{"id":42},"wasm-binary-inspection-with-hexana",[44],{"type":45,"value":46},"text","WASM binary inspection with Hexana",{"type":39,"tag":48,"props":49,"children":50},"p",{},[51,53,60],{"type":45,"value":52},"Hexana's MCP server reads ground truth straight from the ",{"type":39,"tag":54,"props":55,"children":57},"code",{"className":56},[],[58],{"type":45,"value":59},".wasm",{"type":45,"value":61}," binary. Use it for any structural\nfact about a WebAssembly module or component, and keep answers grounded in what the tool reports.",{"type":39,"tag":63,"props":64,"children":66},"h2",{"id":65},"the-tool",[67],{"type":45,"value":68},"The tool",{"type":39,"tag":48,"props":70,"children":71},{},[72,74,84,86,92,94,99,101,107],{"type":45,"value":73},"One tool: ",{"type":39,"tag":75,"props":76,"children":77},"strong",{},[78],{"type":39,"tag":54,"props":79,"children":81},{"className":80},[],[82],{"type":45,"value":83},"query_artifacts",{"type":45,"value":85},". Pass the binary (",{"type":39,"tag":54,"props":87,"children":89},{"className":88},[],[90],{"type":45,"value":91},"path",{"type":45,"value":93}," to the ",{"type":39,"tag":54,"props":95,"children":97},{"className":96},[],[98],{"type":45,"value":59},{"type":45,"value":100},") and an ",{"type":39,"tag":54,"props":102,"children":104},{"className":103},[],[105],{"type":45,"value":106},"operation",{"type":45,"value":108},"; output is\nbyte-bounded. Useful params:",{"type":39,"tag":110,"props":111,"children":112},"ul",{},[113,132,158,211,243,282,300],{"type":39,"tag":114,"props":115,"children":116},"li",{},[117,122,124,130],{"type":39,"tag":54,"props":118,"children":120},{"className":119},[],[121],{"type":45,"value":106},{"type":45,"value":123}," — picks the query (table below). Default ",{"type":39,"tag":54,"props":125,"children":127},{"className":126},[],[128],{"type":45,"value":129},"overview",{"type":45,"value":131},".",{"type":39,"tag":114,"props":133,"children":134},{},[135,141,143,149,151,157],{"type":39,"tag":54,"props":136,"children":138},{"className":137},[],[139],{"type":45,"value":140},"query",{"type":45,"value":142}," — case-insensitive filter terms, or the payload for ",{"type":39,"tag":54,"props":144,"children":146},{"className":145},[],[147],{"type":45,"value":148},"crash_frames",{"type":45,"value":150}," \u002F ",{"type":39,"tag":54,"props":152,"children":154},{"className":153},[],[155],{"type":45,"value":156},"data_payload_audit",{"type":45,"value":131},{"type":39,"tag":114,"props":159,"children":160},{},[161,167,169,175,177,183,184,190,191,197,198,204,205,210],{"type":39,"tag":54,"props":162,"children":164},{"className":163},[],[165],{"type":45,"value":166},"entityTypes",{"type":45,"value":168}," — filter: ",{"type":39,"tag":54,"props":170,"children":172},{"className":171},[],[173],{"type":45,"value":174},"export",{"type":45,"value":176},", ",{"type":39,"tag":54,"props":178,"children":180},{"className":179},[],[181],{"type":45,"value":182},"import",{"type":45,"value":176},{"type":39,"tag":54,"props":185,"children":187},{"className":186},[],[188],{"type":45,"value":189},"memory",{"type":45,"value":176},{"type":39,"tag":54,"props":192,"children":194},{"className":193},[],[195],{"type":45,"value":196},"global",{"type":45,"value":176},{"type":39,"tag":54,"props":199,"children":201},{"className":200},[],[202],{"type":45,"value":203},"function",{"type":45,"value":176},{"type":39,"tag":54,"props":206,"children":208},{"className":207},[],[209],{"type":45,"value":39},{"type":45,"value":131},{"type":39,"tag":114,"props":212,"children":213},{},[214,220,221,227,229,235,236,242],{"type":39,"tag":54,"props":215,"children":217},{"className":216},[],[218],{"type":45,"value":219},"startName",{"type":45,"value":150},{"type":39,"tag":54,"props":222,"children":224},{"className":223},[],[225],{"type":45,"value":226},"startFuncidx",{"type":45,"value":228}," — a function\u002Fimport\u002Fexport name or unified index for ",{"type":39,"tag":54,"props":230,"children":232},{"className":231},[],[233],{"type":45,"value":234},"trace",{"type":45,"value":150},{"type":39,"tag":54,"props":237,"children":239},{"className":238},[],[240],{"type":45,"value":241},"host_call_diff",{"type":45,"value":131},{"type":39,"tag":114,"props":244,"children":245},{},[246,252,254,260,261,267,268,274,275,281],{"type":39,"tag":54,"props":247,"children":249},{"className":248},[],[250],{"type":45,"value":251},"relations",{"type":45,"value":253}," — ",{"type":39,"tag":54,"props":255,"children":257},{"className":256},[],[258],{"type":45,"value":259},"direct_call",{"type":45,"value":176},{"type":39,"tag":54,"props":262,"children":264},{"className":263},[],[265],{"type":45,"value":266},"direct_imported_call",{"type":45,"value":176},{"type":39,"tag":54,"props":269,"children":271},{"className":270},[],[272],{"type":45,"value":273},"indirect_call",{"type":45,"value":176},{"type":39,"tag":54,"props":276,"children":278},{"className":277},[],[279],{"type":45,"value":280},"memory_write",{"type":45,"value":131},{"type":39,"tag":114,"props":283,"children":284},{},[285,291,293,298],{"type":39,"tag":54,"props":286,"children":288},{"className":287},[],[289],{"type":45,"value":290},"baselinePath",{"type":45,"value":292}," — a second ",{"type":39,"tag":54,"props":294,"children":296},{"className":295},[],[297],{"type":45,"value":59},{"type":45,"value":299}," for diff-style operations.",{"type":39,"tag":114,"props":301,"children":302},{},[303,309,311,317,319,325,327,333,335,341],{"type":39,"tag":54,"props":304,"children":306},{"className":305},[],[307],{"type":45,"value":308},"limit",{"type":45,"value":310}," (≤100), ",{"type":39,"tag":54,"props":312,"children":314},{"className":313},[],[315],{"type":45,"value":316},"detail",{"type":45,"value":318}," (",{"type":39,"tag":54,"props":320,"children":322},{"className":321},[],[323],{"type":45,"value":324},"summary",{"type":45,"value":326}," | ",{"type":39,"tag":54,"props":328,"children":330},{"className":329},[],[331],{"type":45,"value":332},"evidence",{"type":45,"value":334},"), ",{"type":39,"tag":54,"props":336,"children":338},{"className":337},[],[339],{"type":45,"value":340},"maxBytes",{"type":45,"value":342}," (start small).",{"type":39,"tag":63,"props":344,"children":346},{"id":345},"pick-the-operation-by-task",[347],{"type":45,"value":348},"Pick the operation by task",{"type":39,"tag":350,"props":351,"children":352},"table",{},[353,380],{"type":39,"tag":354,"props":355,"children":356},"thead",{},[357],{"type":39,"tag":358,"props":359,"children":360},"tr",{},[361,367,375],{"type":39,"tag":362,"props":363,"children":364},"th",{},[365],{"type":45,"value":366},"Task",{"type":39,"tag":362,"props":368,"children":369},{},[370],{"type":39,"tag":54,"props":371,"children":373},{"className":372},[],[374],{"type":45,"value":106},{"type":39,"tag":362,"props":376,"children":377},{},[378],{"type":45,"value":379},"Key params \u002F discipline",{"type":39,"tag":381,"props":382,"children":383},"tbody",{},[384,408,441,475,497,525,555,584,606,639,660,703,730,761,790,825],{"type":39,"tag":358,"props":385,"children":386},{},[387,393,403],{"type":39,"tag":388,"props":389,"children":390},"td",{},[391],{"type":45,"value":392},"\"What is this module?\" \u002F counts",{"type":39,"tag":388,"props":394,"children":395},{},[396,401],{"type":39,"tag":54,"props":397,"children":399},{"className":398},[],[400],{"type":45,"value":129},{"type":45,"value":402}," (default)",{"type":39,"tag":388,"props":404,"children":405},{},[406],{"type":45,"value":407},"none — skip it entirely if the task already names a focused fact",{"type":39,"tag":358,"props":409,"children":410},{},[411,416,424],{"type":39,"tag":388,"props":412,"children":413},{},[414],{"type":45,"value":415},"Triage a crash \u002F stack trace",{"type":39,"tag":388,"props":417,"children":418},{},[419],{"type":39,"tag":54,"props":420,"children":422},{"className":421},[],[423],{"type":45,"value":148},{"type":39,"tag":388,"props":425,"children":426},{},[427,439],{"type":39,"tag":75,"props":428,"children":429},{},[430,432,437],{"type":45,"value":431},"Read the crash report first; pass ALL numeric stack funcidx values as strings in ",{"type":39,"tag":54,"props":433,"children":435},{"className":434},[],[436],{"type":45,"value":140},{"type":45,"value":438}," in ONE call.",{"type":45,"value":440}," Don't probe one frame at a time",{"type":39,"tag":358,"props":442,"children":443},{},[444,449,458],{"type":39,"tag":388,"props":445,"children":446},{},[447],{"type":45,"value":448},"API\u002FABI changed between two builds",{"type":39,"tag":388,"props":450,"children":451},{},[452],{"type":39,"tag":54,"props":453,"children":455},{"className":454},[],[456],{"type":45,"value":457},"api_diff",{"type":39,"tag":388,"props":459,"children":460},{},[461,466,468,473],{"type":39,"tag":54,"props":462,"children":464},{"className":463},[],[465],{"type":45,"value":290},{"type":45,"value":467}," = the old ",{"type":39,"tag":54,"props":469,"children":471},{"className":470},[],[472],{"type":45,"value":59},{"type":45,"value":474},". Returns changed signatures, public type indices, ref-type import ABI risks",{"type":39,"tag":358,"props":476,"children":477},{},[478,483,492],{"type":39,"tag":388,"props":479,"children":480},{},[481],{"type":45,"value":482},"Exported ABI surface (one module)",{"type":39,"tag":388,"props":484,"children":485},{},[486],{"type":39,"tag":54,"props":487,"children":489},{"className":488},[],[490],{"type":45,"value":491},"public_surface",{"type":39,"tag":388,"props":493,"children":494},{},[495],{"type":45,"value":496},"exported functions\u002Fsignatures",{"type":39,"tag":358,"props":498,"children":499},{},[500,505,514],{"type":39,"tag":388,"props":501,"children":502},{},[503],{"type":45,"value":504},"Compact imports + exports (one module)",{"type":39,"tag":388,"props":506,"children":507},{},[508],{"type":39,"tag":54,"props":509,"children":511},{"className":510},[],[512],{"type":45,"value":513},"abi_surface",{"type":39,"tag":388,"props":515,"children":516},{},[517,523],{"type":39,"tag":54,"props":518,"children":520},{"className":519},[],[521],{"type":45,"value":522},"limit=1",{"type":45,"value":524}," is often enough (summary JSON arrays)",{"type":39,"tag":358,"props":526,"children":527},{},[528,533,542],{"type":39,"tag":388,"props":529,"children":530},{},[531],{"type":45,"value":532},"Host \u002F supply-chain import audit",{"type":39,"tag":388,"props":534,"children":535},{},[536],{"type":39,"tag":54,"props":537,"children":539},{"className":538},[],[540],{"type":45,"value":541},"import_surface",{"type":39,"tag":388,"props":543,"children":544},{},[545,547,553],{"type":45,"value":546},"host manifest\u002Flink checks; ",{"type":39,"tag":54,"props":548,"children":550},{"className":549},[],[551],{"type":45,"value":552},"functionImportsJson",{"type":45,"value":554}," on the summary",{"type":39,"tag":358,"props":556,"children":557},{},[558,563,572],{"type":39,"tag":388,"props":559,"children":560},{},[561],{"type":45,"value":562},"Memory declarations \u002F limit changes",{"type":39,"tag":388,"props":564,"children":565},{},[566],{"type":39,"tag":54,"props":567,"children":569},{"className":568},[],[570],{"type":45,"value":571},"memory_contract",{"type":39,"tag":388,"props":573,"children":574},{},[575,577,582],{"type":45,"value":576},"add ",{"type":39,"tag":54,"props":578,"children":580},{"className":579},[],[581],{"type":45,"value":290},{"type":45,"value":583}," for limit-change detection",{"type":39,"tag":358,"props":585,"children":586},{},[587,592,601],{"type":39,"tag":388,"props":588,"children":589},{},[590],{"type":45,"value":591},"Mutable imported \u002F new exported globals",{"type":39,"tag":388,"props":593,"children":594},{},[595],{"type":39,"tag":54,"props":596,"children":598},{"className":597},[],[599],{"type":45,"value":600},"global_state_policy",{"type":39,"tag":388,"props":602,"children":603},{},[604],{"type":45,"value":605},"—",{"type":39,"tag":358,"props":607,"children":608},{},[609,614,622],{"type":39,"tag":388,"props":610,"children":611},{},[612],{"type":45,"value":613},"Data-segment payload policy check",{"type":39,"tag":388,"props":615,"children":616},{},[617],{"type":39,"tag":54,"props":618,"children":620},{"className":619},[],[621],{"type":45,"value":156},{"type":39,"tag":388,"props":623,"children":624},{},[625,630,632,637],{"type":39,"tag":75,"props":626,"children":627},{},[628],{"type":45,"value":629},"Read the policy first; pass all forbidden strings exactly, in ONE call.",{"type":45,"value":631}," Empty ",{"type":39,"tag":54,"props":633,"children":635},{"className":634},[],[636],{"type":45,"value":140},{"type":45,"value":638}," returns only a reminder",{"type":39,"tag":358,"props":640,"children":641},{},[642,647,656],{"type":39,"tag":388,"props":643,"children":644},{},[645],{"type":45,"value":646},"Exported-function local-count budget",{"type":39,"tag":388,"props":648,"children":649},{},[650],{"type":39,"tag":54,"props":651,"children":653},{"className":652},[],[654],{"type":45,"value":655},"local_budget",{"type":39,"tag":388,"props":657,"children":658},{},[659],{"type":45,"value":605},{"type":39,"tag":358,"props":661,"children":662},{},[663,668,677],{"type":39,"tag":388,"props":664,"children":665},{},[666],{"type":45,"value":667},"Exports that write memory \u002F call host directly",{"type":39,"tag":388,"props":669,"children":670},{},[671],{"type":39,"tag":54,"props":672,"children":674},{"className":673},[],[675],{"type":45,"value":676},"entrypoint_effects",{"type":39,"tag":388,"props":678,"children":679},{},[680,682,687,689,694,696,701],{"type":45,"value":681},"omit ",{"type":39,"tag":54,"props":683,"children":685},{"className":684},[],[686],{"type":45,"value":251},{"type":45,"value":688}," to scan both ",{"type":39,"tag":54,"props":690,"children":692},{"className":691},[],[693],{"type":45,"value":280},{"type":45,"value":695}," and ",{"type":39,"tag":54,"props":697,"children":699},{"className":698},[],[700],{"type":45,"value":266},{"type":45,"value":702}," in one call",{"type":39,"tag":358,"props":704,"children":705},{},[706,711,720],{"type":39,"tag":388,"props":707,"children":708},{},[709],{"type":45,"value":710},"Element-table slot target changes",{"type":39,"tag":388,"props":712,"children":713},{},[714],{"type":39,"tag":54,"props":715,"children":717},{"className":716},[],[718],{"type":45,"value":719},"dispatch_table_diff",{"type":39,"tag":388,"props":721,"children":722},{},[723,728],{"type":39,"tag":54,"props":724,"children":726},{"className":725},[],[727],{"type":45,"value":290},{"type":45,"value":729}," for the diff",{"type":39,"tag":358,"props":731,"children":732},{},[733,738,746],{"type":39,"tag":388,"props":734,"children":735},{},[736],{"type":45,"value":737},"Direct imported-call regression from a function",{"type":39,"tag":388,"props":739,"children":740},{},[741],{"type":39,"tag":54,"props":742,"children":744},{"className":743},[],[745],{"type":45,"value":241},{"type":39,"tag":388,"props":747,"children":748},{},[749,754,756],{"type":39,"tag":54,"props":750,"children":752},{"className":751},[],[753],{"type":45,"value":219},{"type":45,"value":755}," or ",{"type":39,"tag":54,"props":757,"children":759},{"className":758},[],[760],{"type":45,"value":226},{"type":39,"tag":358,"props":762,"children":763},{},[764,769,785],{"type":39,"tag":388,"props":765,"children":766},{},[767],{"type":45,"value":768},"Look up a specific symbol\u002Findex",{"type":39,"tag":388,"props":770,"children":771},{},[772,774,779,780],{"type":45,"value":773},"any + ",{"type":39,"tag":54,"props":775,"children":777},{"className":776},[],[778],{"type":45,"value":140},{"type":45,"value":150},{"type":39,"tag":54,"props":781,"children":783},{"className":782},[],[784],{"type":45,"value":226},{"type":39,"tag":388,"props":786,"children":787},{},[788],{"type":45,"value":789},"resolve it from results first, then drill down",{"type":39,"tag":358,"props":791,"children":792},{},[793,798,820],{"type":39,"tag":388,"props":794,"children":795},{},[796],{"type":45,"value":797},"No focused operation matches",{"type":39,"tag":388,"props":799,"children":800},{},[801,807,808,814,815],{"type":39,"tag":54,"props":802,"children":804},{"className":803},[],[805],{"type":45,"value":806},"find",{"type":45,"value":150},{"type":39,"tag":54,"props":809,"children":811},{"className":810},[],[812],{"type":45,"value":813},"diff",{"type":45,"value":150},{"type":39,"tag":54,"props":816,"children":818},{"className":817},[],[819],{"type":45,"value":234},{"type":39,"tag":388,"props":821,"children":822},{},[823],{"type":45,"value":824},"generic fallbacks only",{"type":39,"tag":358,"props":826,"children":827},{},[828,833,842],{"type":39,"tag":388,"props":829,"children":830},{},[831],{"type":45,"value":832},"Ambiguous task, no named fact",{"type":39,"tag":388,"props":834,"children":835},{},[836],{"type":39,"tag":54,"props":837,"children":839},{"className":838},[],[840],{"type":45,"value":841},"triage",{"type":39,"tag":388,"props":843,"children":844},{},[845],{"type":45,"value":846},"last resort",{"type":39,"tag":63,"props":848,"children":850},{"id":849},"rules-efficiency-correctness",[851],{"type":45,"value":852},"Rules (efficiency + correctness)",{"type":39,"tag":110,"props":854,"children":855},{},[856,939,962,993,1041],{"type":39,"tag":114,"props":857,"children":858},{},[859,864,866,871,873,878,879,884,886,891,893,898,899,904,905,910,911,916,918,923,925,930,932,937],{"type":39,"tag":75,"props":860,"children":861},{},[862],{"type":45,"value":863},"One focused call, then stop.",{"type":45,"value":865}," Don't follow a focused operation with generic ",{"type":39,"tag":54,"props":867,"children":869},{"className":868},[],[870],{"type":45,"value":806},{"type":45,"value":872},"\u002F",{"type":39,"tag":54,"props":874,"children":876},{"className":875},[],[877],{"type":45,"value":813},{"type":45,"value":872},{"type":39,"tag":54,"props":880,"children":882},{"className":881},[],[883],{"type":45,"value":234},{"type":45,"value":885},"\n(e.g. ",{"type":39,"tag":54,"props":887,"children":889},{"className":888},[],[890],{"type":45,"value":457},{"type":45,"value":892}," → ",{"type":39,"tag":54,"props":894,"children":896},{"className":895},[],[897],{"type":45,"value":806},{"type":45,"value":176},{"type":39,"tag":54,"props":900,"children":902},{"className":901},[],[903],{"type":45,"value":541},{"type":45,"value":892},{"type":39,"tag":54,"props":906,"children":908},{"className":907},[],[909],{"type":45,"value":806},{"type":45,"value":176},{"type":39,"tag":54,"props":912,"children":914},{"className":913},[],[915],{"type":45,"value":148},{"type":45,"value":917}," → per-frame ",{"type":39,"tag":54,"props":919,"children":921},{"className":920},[],[922],{"type":45,"value":234},{"type":45,"value":924},",\n",{"type":39,"tag":54,"props":926,"children":928},{"className":927},[],[929],{"type":45,"value":676},{"type":45,"value":931}," → per-export ",{"type":39,"tag":54,"props":933,"children":935},{"className":934},[],[936],{"type":45,"value":234},{"type":45,"value":938},") unless a required output field is genuinely missing.",{"type":39,"tag":114,"props":940,"children":941},{},[942,947,949,954,955,960],{"type":39,"tag":75,"props":943,"children":944},{},[945],{"type":45,"value":946},"Gather inputs before calling",{"type":45,"value":948}," for ",{"type":39,"tag":54,"props":950,"children":952},{"className":951},[],[953],{"type":45,"value":148},{"type":45,"value":695},{"type":39,"tag":54,"props":956,"children":958},{"className":957},[],[959],{"type":45,"value":156},{"type":45,"value":961}," — one call, not a probe loop.",{"type":39,"tag":114,"props":963,"children":964},{},[965,983,985,991],{"type":39,"tag":75,"props":966,"children":967},{},[968,970,975,976,981],{"type":45,"value":969},"Keep ",{"type":39,"tag":54,"props":971,"children":973},{"className":972},[],[974],{"type":45,"value":308},{"type":45,"value":695},{"type":39,"tag":54,"props":977,"children":979},{"className":978},[],[980],{"type":45,"value":340},{"type":45,"value":982}," small.",{"type":45,"value":984}," Request ",{"type":39,"tag":54,"props":986,"children":988},{"className":987},[],[989],{"type":45,"value":990},"detail=evidence",{"type":45,"value":992}," only for the few records that need\noffsets, locals, element lists, or instruction text.",{"type":39,"tag":114,"props":994,"children":995},{},[996,1001,1003,1008,1010,1016,1018,1024,1025,1031,1033,1039],{"type":39,"tag":75,"props":997,"children":998},{},[999],{"type":45,"value":1000},"Path fields take a real path",{"type":45,"value":1002}," — the task's ",{"type":39,"tag":54,"props":1004,"children":1006},{"className":1005},[],[1007],{"type":45,"value":59},{"type":45,"value":1009}," path or the ",{"type":39,"tag":54,"props":1011,"children":1013},{"className":1012},[],[1014],{"type":45,"value":1015},"modules[].path",{"type":45,"value":1017}," echoed in the result.\nNever write ",{"type":39,"tag":54,"props":1019,"children":1021},{"className":1020},[],[1022],{"type":45,"value":1023},"local",{"type":45,"value":176},{"type":39,"tag":54,"props":1026,"children":1028},{"className":1027},[],[1029],{"type":45,"value":1030},"current",{"type":45,"value":1032},", or ",{"type":39,"tag":54,"props":1034,"children":1036},{"className":1035},[],[1037],{"type":45,"value":1038},"baseline",{"type":45,"value":1040}," into a path field.",{"type":39,"tag":114,"props":1042,"children":1043},{},[1044,1049,1051,1056,1058,1064,1065,1071,1072,1078],{"type":39,"tag":75,"props":1045,"children":1046},{},[1047],{"type":45,"value":1048},"Stay grounded in the tool output.",{"type":45,"value":1050}," For any ",{"type":39,"tag":54,"props":1052,"children":1054},{"className":1053},[],[1055],{"type":45,"value":59},{"type":45,"value":1057}," structural fact, prefer Hexana over shell tooling\n(",{"type":39,"tag":54,"props":1059,"children":1061},{"className":1060},[],[1062],{"type":45,"value":1063},"objdump",{"type":45,"value":150},{"type":39,"tag":54,"props":1066,"children":1068},{"className":1067},[],[1069],{"type":45,"value":1070},"strings",{"type":45,"value":150},{"type":39,"tag":54,"props":1073,"children":1075},{"className":1074},[],[1076],{"type":45,"value":1077},"hexdump",{"type":45,"value":1079},"); the MCP server reports the verified binary structure.",{"items":1081,"total":26},[1082],{"slug":4,"name":4,"fn":5,"description":6,"org":1083,"tags":1084,"stars":22,"repoUrl":23,"updatedAt":24},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1085,1086,1087],{"name":17,"slug":18,"type":15},{"name":20,"slug":21,"type":15},{"name":13,"slug":14,"type":15},{"items":1089,"total":1214},[1090,1106,1115,1124,1133,1143,1156,1165,1174,1184,1193,1204],{"slug":1091,"name":1091,"fn":1092,"description":1093,"org":1094,"tags":1095,"stars":1103,"repoUrl":1104,"updatedAt":1105},"mps-aspect-accessories","configure JetBrains MPS module dependencies","Wire MPS module and model dependencies, used languages, used devkits, extended languages, runtime solutions, accessory models, and language\u002Fdependency versions. Use when adding\u002Fremoving module dependencies, importing languages or devkits into a model, declaring runtime solutions, or shipping accessory content visible to consumers without explicit import.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1096,1099,1102],{"name":1097,"slug":1098,"type":15},"Architecture","architecture",{"name":1100,"slug":1101,"type":15},"Configuration","configuration",{"name":13,"slug":14,"type":15},1650,"https:\u002F\u002Fgithub.com\u002FJetBrains\u002FMPS","2026-07-17T06:06:57.311661",{"slug":1107,"name":1107,"fn":1108,"description":1109,"org":1110,"tags":1111,"stars":1103,"repoUrl":1104,"updatedAt":1114},"mps-aspect-actions","define and edit MPS node factories","Use when defining or editing MPS node factories (the \"actions\" aspect) — `NodeFactories` roots, per-concept `NodeFactory` setup functions that initialize a freshly created node and optionally copy data from a replaced `sampleNode`, plus the actions aspect's `CopyPasteHandlers` and `PasteWrappers` roots. Reach for this skill when a substitution, side transform, completion replacement, or `add new initialized(...)` should preserve fields from the node it is replacing, or when defaults set in a constructor are not enough.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1112,1113],{"name":1097,"slug":1098,"type":15},{"name":13,"slug":14,"type":15},"2026-07-17T06:04:48.066901",{"slug":1116,"name":1116,"fn":1117,"description":1118,"org":1119,"tags":1120,"stars":1103,"repoUrl":1104,"updatedAt":1123},"mps-aspect-behavior","define and edit MPS concept behavior","Use when defining or editing MPS `ConceptBehavior` — per-concept methods (non-virtual \u002F virtual \u002F abstract \u002F static \u002F virtual static), constructors, virtual dispatch (MRO), super and interface-default calls (`super\u003CInterface>.method`), overriding methods from `lang.core.behavior` interfaces such as `ScopeProvider.getScope` \u002F `INamedConcept.getName` \u002F `BaseConcept.getPresentation`, calling sibling methods (`LocalBehaviorMethodCall`) and behavior methods from other aspects via `node.method(...)`. Reach for this skill whenever the task involves authoring or modifying `\u003Clang>\u002FlanguageModels\u002Fbehavior.mps`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1121,1122],{"name":1097,"slug":1098,"type":15},{"name":13,"slug":14,"type":15},"2026-07-13T06:45:21.757084",{"slug":1125,"name":1125,"fn":1126,"description":1127,"org":1128,"tags":1129,"stars":1103,"repoUrl":1104,"updatedAt":1132},"mps-aspect-constraints","define JetBrains MPS language constraints","Use when defining or editing MPS language constraints — property validators \u002F setters \u002F getters, referent search scopes (imperative or inherited via `ScopeProvider.getScope`), `referentSetHandler` side effects, default-scope blocks, `canBeChild` \u002F `canBeParent` \u002F `canBeAncestor` \u002F `canBeRoot` placement rules, `defaultConcreteConcept` for abstract concepts, `set \u003Cread-only>` and `{name}` aliasing, and scope helpers (`SimpleRoleScope`, `ListScope`, `CompositeScope`, `HidingByNameScope`). Reach for this skill whenever the task involves authoring or modifying `\u003Clang>\u002FlanguageModels\u002Fconstraints.mps`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1130,1131],{"name":1097,"slug":1098,"type":15},{"name":17,"slug":18,"type":15},"2026-07-23T05:41:33.639365",{"slug":1134,"name":1134,"fn":1135,"description":1136,"org":1137,"tags":1138,"stars":1103,"repoUrl":1104,"updatedAt":1142},"mps-aspect-dataflow","define and debug MPS dataflow builders","Use when defining or debugging MPS dataflow builders for a concept — control\u002Fdata flow declarations that drive reachability analysis and variable-use checking. Covers DataFlowBuilderDeclaration, BuilderBlock, emit instructions (code for, jump, ifjump, label, read, write, ret, mayBeUnreachable), positions (AfterPosition, BeforePosition, LabelPosition), the jetbrains.mps.lang.dataFlow language, the NodeParameter implicit, BL+smodel usage inside builder bodies, and IBuilderMode for advanced analyses such as nullable\u002Fnon-null tracking.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1139],{"name":1140,"slug":1141,"type":15},"Data Analysis","data-analysis","2026-07-13T06:45:19.114674",{"slug":1144,"name":1144,"fn":1145,"description":1146,"org":1147,"tags":1148,"stars":1103,"repoUrl":1104,"updatedAt":1155},"mps-aspect-editor","define MPS editor layouts","Use when creating or changing MPS editor definitions — the overall workflow from scaffolding a `ConceptEditorDeclaration` through componentizing reusable `EditorComponentDeclaration`s, refining cell models and cell layouts, applying style sheets and indent-layout style items, wiring smart references, leveraging inheritance via super-concepts and interfaces, inspecting (`print_node_json`, `show_node_representation`) and validating (`check_root_node_problems`). Covers `jetbrains.mps.lang.editor` cell models (`CellModel_RefNode`\u002F`CellModel_RefNodeList`\u002F`CellModel_RefCell`\u002F`CellModel_Property`\u002F`CellModel_Constant`), layout choices, and JSON blueprints for common editor shapes. For the non-layout side (action maps, keymaps, transformation\u002Fsubstitute menus) use `mps-aspect-editor-menus-and-keymaps`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1149,1152],{"name":1150,"slug":1151,"type":15},"Design","design",{"name":1153,"slug":1154,"type":15},"UI Components","ui-components","2026-07-23T05:41:56.638151",{"slug":1157,"name":1157,"fn":1158,"description":1159,"org":1160,"tags":1161,"stars":1103,"repoUrl":1104,"updatedAt":1164},"mps-aspect-editor-menus-and-keymaps","author MPS editor menus and keymaps","Use when authoring the **non-layout** parts of the MPS editor aspect — what happens when the user types, presses a key, triggers completion, pastes, or invokes a context action. Covers action maps (`CellActionMapDeclaration`), cell keymaps (`CellKeyMapDeclaration`), transformation menus (`TransformationMenu_Default` \u002F `_Named` \u002F `_Contribution`), substitute menus (`SubstituteMenu_Default` \u002F `SubstituteMenu` \u002F contributions), side transforms (LEFT\u002FRIGHT), legacy cell menus, paste wrappers and copy-paste handlers (in the actions language), completion styling, reference presentation, two-step deletion, and the editor selection API. Trigger terms: `actionMap`, `keyMap`, `delete_action_id`, `transformationMenu`, `substituteMenu`, `Ctrl+Space`, `Ctrl+Alt+B`, side transform, paste wrapper, completion styling, `PasteWrappers`, `CopyPasteHandlers`. For the **layout** side (cells, layouts, style sheets) use `mps-aspect-editor` instead.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1162,1163],{"name":13,"slug":14,"type":15},{"name":1153,"slug":1154,"type":15},"2026-07-23T05:41:49.666535",{"slug":1166,"name":1166,"fn":1167,"description":1168,"org":1169,"tags":1170,"stars":1103,"repoUrl":1104,"updatedAt":1173},"mps-aspect-generation-plan","modify MPS generation plans","Use when defining or modifying an MPS generation plan — explicit ordering of generators, checkpoints for cross-model reference resolution, forks for parallel branches, IncludePlan composition, conditional PlanContribution activation, ParameterEquals\u002FConceptListSelector fork selectors, and InitModelAttributes for targetFacet routing. Apply when working with @genplan models, the jetbrains.mps.lang.generator.plan language, attaching plans via DevKits or the Custom generation facet, or debugging cross-model mapping label resolution.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1171,1172],{"name":1097,"slug":1098,"type":15},{"name":13,"slug":14,"type":15},"2026-07-13T06:44:59.507855",{"slug":1175,"name":1175,"fn":1176,"description":1177,"org":1178,"tags":1179,"stars":1103,"repoUrl":1104,"updatedAt":1183},"mps-aspect-generator","define JetBrains MPS generator rules","Use when defining or modifying MPS generators — author a generator module, add or edit root\u002Freduction\u002Fweaving\u002Fpattern mapping rules, attach template macros ($COPY_SRC, $LOOP, $IF, $PROPERTY, $REF, $SWITCH, $MAP_SRC, $WEAVE, $INSERT, $LABEL, $TRACE, $VAR), wire mapping labels, build template switches, write pre\u002Fpost mapping scripts, navigate `genContext`, or debug \"rule didn't fire\", missing references, empty output, infinite reduction loops, and generated-Java compile failures.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1180,1181,1182],{"name":1097,"slug":1098,"type":15},{"name":17,"slug":18,"type":15},{"name":13,"slug":14,"type":15},"2026-07-17T06:06:58.042999",{"slug":1185,"name":1185,"fn":1186,"description":1187,"org":1188,"tags":1189,"stars":1103,"repoUrl":1104,"updatedAt":1192},"mps-aspect-intentions","define and edit MPS intentions","Use when defining or editing MPS intentions (the Alt+Enter context-action aspect) — adding `IntentionDeclaration` roots, parameterized or surround-with variants, description\u002FisApplicable\u002Fexecute blocks, child-filter functions, factory-initialized AST splicing, or debugging why an intention is not offered. Lives in the language's `intentions` model and uses `jetbrains.mps.lang.intentions`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1190,1191],{"name":1097,"slug":1098,"type":15},{"name":13,"slug":14,"type":15},"2026-07-23T05:41:48.692899",{"slug":1194,"name":1194,"fn":1195,"description":1196,"org":1197,"tags":1198,"stars":1103,"repoUrl":1104,"updatedAt":1203},"mps-aspect-migrations","author and debug MPS migration scripts","Use when authoring or debugging MPS migration scripts that upgrade user models after a language definition changes — covers jetbrains.mps.lang.migration (MigrationScript class-based, PureMigrationScript declarative, MoveConcept\u002FMoveContainmentLink\u002FMoveReferenceLink\u002FMoveProperty, ordering via OrderDependency, data exchange via putData\u002FgetData, RefactoringLog, ConceptMigrationReference) and jetbrains.mps.lang.script Enhancement Scripts (MigrationScript with MigrationScriptPart_Instance, ExtractInterfaceMigration, FactoryMigrationScriptPart, CommentMigrationScriptPart) — when a model needs version-gated upgrade, concept rename or removal, link or property rename, instance-level transformation, or composition of migration steps.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1199,1200],{"name":20,"slug":21,"type":15},{"name":1201,"slug":1202,"type":15},"Migration","migration","2026-07-13T06:45:20.372122",{"slug":1205,"name":1205,"fn":1206,"description":1207,"org":1208,"tags":1209,"stars":1103,"repoUrl":1104,"updatedAt":1213},"mps-aspect-structure-concepts","define concepts in MPS structure aspect","Define concepts, interface concepts, enumerations, and constrained data types in an MPS language's `structure` aspect. Covers smart-reference detection, alias rules, cardinality, INamedConcept usage, bulk creation, and the full `mps_mcp_alter_structure` \u002F `mps_mcp_query_structure` reference. Use when authoring or modifying a language's structure model.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1210],{"name":1211,"slug":1212,"type":15},"Data Modeling","data-modeling","2026-07-23T05:41:30.705975",188]