菜单
Thin SysML v2 × MemNet GQL bridge: campaign TSK, cue pin_map, narrow .sysml edit, then mutate deltas. Triggers: sysml gql, modeling pin_map, TSK_model GQL, hasPort satisfies allocates.
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/chouswei/MemNet --skill sysml-gql命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
Load when developing the MemNet product repository: engine, generic MCP, shared-dialect grammar, SysML models, packaging, CI, and contributor layout. Triggers: MemNet development, memnet engine, MutateGate, PinMapComposer, memnet-mcp server, parts/common/memnet, grammar fixtures, MN-REQ, product SysML, memnet contributor, build memnet.
MemNet MCP tools: cue then pin_map, GQL mutate, session, ingest, snap_model, export_pin_map, reserve. Triggers: memnet mcp, MCP pin_map, MCP mutate, session_open, find, ingest_sysml, snap_model, export_pin_map, reserve, RSV.
Atomise a source tree into MemNet :MOD / :SYM nodes and typed relations. Triggers: codebase snap, memnet index, symbol graph, ingest_codebase, MOD SYM snap.
正在显示 SKILL.md
| name | sysml-gql |
| description | Thin SysML v2 × MemNet GQL bridge: campaign TSK, cue pin_map, narrow .sysml edit, then mutate deltas. Triggers: sysml gql, modeling pin_map, TSK_model GQL, hasPort satisfies allocates. |
| metadata | {"pattern":"pipeline","domain":"sysml,memnet","version":"1.3","product":"memnet-llm==0.19.3","pairs_with":["mcp-memnet","memnet-format","sysml-memnet-cache","sysml-memnet-documentation","sysml-modeling-workflow","memnet-nested-sessions"]} |
| token_guardrails | - GQL only. No Layer / pipe @TAG. leftover NEW / leftover anchor= named leftover. - .sysml is structure; MemNet holds relatives. Kind map: sysml-memnet-patterns.md. |
Stores: .sysml = structure and satisfy. MemNet = atomised relatives for the next turn.
| Step | Action |
|---|---|
| 1 | Cue TSK_model_<short> (find if unknown). Warm miss → mint via mutate |
| 2 | pin_map(kind='TSK', locators=['goal=TSK_model_<short>'], depth=2, max_rows=50) |
| 3 | Read at SYM.line; edit sysml-models/models/*.sysml (or the live root) |
| 4 | Validate until pass |
| 5 | mutate deltas + refresh SYM.line |
Six-step snap: sysml-memnet-snap.md. Nest cuts: memnet-nested-sessions.
Closed enums: sysml-memnet-patterns.md.
| SysML v2 | Node | Typical rels |
|---|---|---|
| part | :PRT | :declaredIn, :hasPort |
| port | :POR | :typedBy, port-port :BIND |
| connection | :CON | :connects |
| requirement | :REQ | — |
| item | :ITM | :flowOf |
| state / action | :BEH | :declaredIn |
| satisfy / allocate | rel only | :satisfies / :allocates |
| file / line | :MOD / :SYM | :inFile |
MATCH (t:TSK {goal: $goal})
CREATE (p:PRT {name: 'Pdu', kind: 'partUsage'})-[:hasPort]->(por:POR {name: 'pwr_in', kind: 'portUsage', dir: 'in'})
CREATE (p)-[:satisfies]->(:REQ {requirementId: $req})
Cue and MATCH by labels+properties (goal, name, qname, path, requirementId). leftover nickname id / locators=['id=…'] are leftover.