メニュー
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コマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？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.