MPS dataflow — анализ потоков данных и управления

★ 7.9 · vibe-coding

mps-aspect-dataflow is a Claude Code skill that helps define and debug MPS dataflow builders for language concepts — control and data flow declarations that drive reachability analysis and variable-use checking. It covers DataFlowBuilderDeclaration, BuilderBlock, all emit instructions (code for, jump, ifjump, label, read, write, ret, mayBeUnreachable), position types (AfterPosition, BeforePosition, LabelPosition), the jetbrains.mps.lang.dataFlow language, the implicit NodeParameter, BL and smodel usage inside builder bodies, and IBuilderMode for advanced analyses such as nullable and non-null tracking. Designed for MPS language engineers who need to model node execution order, detect unreachable code, or verify variable initialization. The skill includes a reference index with a concept catalog, verified JSON patterns for mps_mcp_* tools, rules and pitfalls, model setup guidance, and annotated examples from the baseLanguage builder suite.