building-simulink-models — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited building-simulink-models (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
Use model_edit for all structural changes — Simulink, System Composer, Simscape, and Stateflow chart internals
model_query_paramsmodel_resolve_paramsDo this FIRST and ALONE — no other tool calls in the same message.
Check all three files in a single read: .satk/reuse-libraries.json, .satk/block-policy.json, .satk/library-kg/index.md.
No model reading, planning, or editing begins until all three gates pass.
.satk/reuse-libraries.json, .satk/block-policy.json, and .satk/library-kg/index.md. If all three exist, proceed. If reuse-libraries.json has confirmedNone: true, skip policy and KG checks. If any are missing, check the gates in the "Library & Policy Prerequisites — BLOCKING GATE" section above. load setup-custom-librariesskill for gate resolution details and do not proceed until it is complete..satk/reuse-libraries.json declares one or more libraries, list every block type you plan to use, search .satk/library-kg/index.md and the relevant category pages to find each of the library blocks that match.model_read on the target scope to get block IDs and understand existing topology.model_edit with operations scoped to one subsystem level at a time.model_read on the scope to confirm the structure matches your intent.model_check to catch unconnected ports or dangling lines. Fix any error-severity issues.If `model_edit` returns `status: partial`: Run both model_read and model_check immediately — don't wait until all edits are complete.
refUse ref to name a block and #ref to reference it in later operations within the same call:
[{"op": "add_block", "type": "Gain", "name": "MyGain", "ref": "g1"},
{"op": "connect", "target": "blk_5.y1 -> #g1.u1"}]In SF scope, #ref references are portless — no .y1/.u1 suffixes (see references/stateflow.md).
The response created map shows ref → blk_id (or ref → sf_X in SF scope). In subsequent calls, use the returned ID — #ref only works within a single call.
model_overview or model_read. Block names can contain invisible newlines and trailing whitespace that cause hilite_system, open_system, and get_param to fail. Instead, resolve paths from blk_X IDs: % blk_42 → use the number after "blk_" as the SID
blockPath = Simulink.ID.getFullName('<ModelName>:42');
hilite_system(blockPath)
open_system(blockPath)
get_param(blockPath, 'BlockType')Simulink.BlockDiagram.arrangeSystem or use set_param for block positioning unless the user explicitly requests it. model_edit has a built-in autolayout engine that runs automatically after each call.layout_mode to model_edit. Use "full" when populating an empty scope (new model root, or a newly-created subsystem) for optimal block arrangement. Use "incremental" when adding blocks to a scope that already has existing blocks (preserves existing positions).model_edit call operates in exactly one domain (Simulink, System Composer, or Stateflow) determined by the scope. To add a Chart block and then populate it, use two calls: SL scope for the Chart block, then SF scope for internals. Use model_read between calls to discover the chart's sf_X scope ID.Kp_SpeedController) instead of hardcoded numeric values. Define variables in model workspace or a .m init script.evaluate_matlab_code with set_param/add_block to bypass model_edit — it skips autolayout, undo tracking, and error recoveryopen_system rather than load_system to open models that are not already open, or when creating new models, unless the user explicitly asks otherwise or the model is a library. This ensures the user can see live edits as they happen.Prefer code-generation-safe names for blocks, signals, and variables:
a-z, A-Z, 0-9, underscore (_)Use the block's display name in the type field. Do not construct or guess library paths.
type AND ReferenceBlock fields. Set type to the block's display name and ReferenceBlock to the full library path from the library KG.Gain, Sum, Constant, Integrator, SubSystem, ScopeVoltage Source, Resistor, DC Motor, Solver Configuration, 6DOF (Euler Angles)ee_lib/Sources/Voltage Source)[{"op": "add_block", "type": "In", "ReferenceBlock": "customLib_Portsandsubsystems/In", "name": "Voltage", "ref": "v1"},
{"op": "add_block", "type": "Gain", "ReferenceBlock": "customLib_Mathoperations/Gain", "name": "Kp", "ref": "g1"},
{"op": "add_block", "type": "Add", "ReferenceBlock": "customLib_Mathoperations/Add", "name": "SumErr", "ref": "s1"},
{"op": "add_block", "type": "Out", "ReferenceBlock": "customLib_Portsandsubsystems/Out", "name": "Output", "ref": "o1"}][{"op": "add_block", "type": "Voltage Source", "name": "V1", "ref": "v1"},
{"op": "add_block", "type": "Resistor", "name": "R1", "ref": "r1"},
{"op": "add_block", "type": "Electrical Reference", "name": "Gnd", "ref": "gnd"},
{"op": "add_block", "type": "Solver Configuration", "name": "Solver", "ref": "sc"}]After completing all edits for a scope, verify:
error-severity issues from model_check (unconnected ports, dangling lines)ref names resolved to blk_id in the created map — no dangling #ref references in subsequent callsmodel_check with checks='["stateflow_lint"]') before layout is appliedmodel_edit returned status: partial at any point, confirm the scope is now structurally complete via model_readWhen working with these domains, read the corresponding reference file before editing:
references/stateflow.md — model_edit edits chart internals natively. Scope to a chart (sf_X or chart blk_X) and use the same operations: add_block for SF elements, portless connect for transitions, configure for properties. The reference covers SF-specific syntax, scoping, LabelString patterns, and the two-call SL+SF workflow.references/system-composer.md — Create models with systemcomposer.createModel, then use model_edit. Components use type: "SubSystem", ports use Bus Element blocks. The reference covers component creation, port wiring, and behavior model generation.references/simscape.md — Physical connections use bidirectional <-> syntax. The reference covers connection semantics, port patterns, and initial target variables.----
Copyright 2026 The MathWorks, Inc.
----
~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.