checking-model-compliance
matlab/simulink-agentic-toolkitTesting & QAAI & ML engineering
checking-model-compliance is a skill in matlab/simulink-agentic-toolkit, last changed 29 Oct 2026. It can run shell commands, name web addresses and include files we can't read.
Use this skill when the user asks to check Simulink model compliance against a standard (MISRA, MAB, JMAAB, ISO, DO, IEC, EN, CERT C/CWE, AUTOSAR, Simulink Code Inspector (SLCI)), wants to run Model Advisor checks, or needs a compliance report with fix suggestions. For JMAAB/MAB, supplement deterministic checks with agentic review of uncheckable guidelines.
At a glance
What it can touch
How much a skill can do, not whether it is risky.
Pattern check:4 items to reviewSee them
Install
Each tab says whether it installs commit f7330c5, the one we checked, or the latest version.
OpenCode also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Goose also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Windsurf (Devin Desktop) also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Zed also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Roo Code also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Factory Droid also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Junie also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
Amp also looks in .agents/skills/ and ~/.agents/skills/, so use the Any agent steps.
No install command here reaches Kiro. Copy the skill's folder into .kiro/skills/ in your project, or ~/.kiro/skills/ for all your projects. matlab/simulink-agentic-toolkit/skills-catalog/verification-validation-and-test/checking-model-compliance (opens in a new tab)
Antigravity also looks in .agents/skills/, so the Any agent steps reach it with This project. For All projects, see where Antigravity looks.
Cline also looks in .claude/skills/, so the Claude Code steps reach it with This project. For All projects, see where Cline looks.
Read these 4 items before installing, starting with Binary, compiled, archived or document file — scripts/detect_default_config.p
Claude Code
Pinned to commit f7330c5, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&mkdir -p .claude/skills &&mkdir .claude/skills/checking-model-compliance &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance/. .claude/skills/checking-model-compliance/ &&rm -rf "$tmp"If Claude Code was already running and this created the skills folder, run /reload-skills.
Or install the verification-validation-and-test plugin it ships in. Installs the latest version, not the one we checked. Installs everything in the plugin, including any hooks, MCP servers and scripts our check doesn't cover.
claude plugin marketplace add matlab/simulink-agentic-toolkit --scope project &&claude plugin install verification-validation-and-test@simulink-agentic-toolkit --scope projectClaude apps
Pinned to commit f7330c5, the one we checked.
Skills in the Claude apps belong to your account rather than to a project.
Make checking-model-compliance.zip, with the skill folder at the top level:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&out="$(mktemp -d)" &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance "$out"/checking-model-compliance &&(cd "$out" && zip -qr - checking-model-compliance) > checking-model-compliance.zip &&rm -rf "$tmp" "$out"In Claude, open Customize > Skills, select +, then + Create skill > Upload a skill, and choose checking-model-compliance.zip.
On Free, Pro and Max plans, turn on Code execution and file creation (Create and edit files in newer settings) under Settings > Capabilities.
Codex
Pinned to commit f7330c5, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&mkdir -p .agents/skills &&mkdir .agents/skills/checking-model-compliance &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance/. .agents/skills/checking-model-compliance/ &&rm -rf "$tmp"Codex picks up new skills on its own; restart it if this one does not appear.
Cursor
Pinned to commit f7330c5, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&mkdir -p .cursor/skills &&mkdir .cursor/skills/checking-model-compliance &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance/. .cursor/skills/checking-model-compliance/ &&rm -rf "$tmp"Copilot & VS Code
Pinned to commit f7330c5, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&mkdir -p .github/skills &&mkdir .github/skills/checking-model-compliance &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance/. .github/skills/checking-model-compliance/ &&rm -rf "$tmp"In a running Copilot CLI session, run /skills reload.
Or install it with gh skill, which also installs the commit we checked. Needs GitHub CLI 2.90 or later.
gh skill install matlab/simulink-agentic-toolkit skills-catalog/verification-validation-and-test/checking-model-compliance/SKILL.md@f7330c565877a2bce42eb029baa988398e0dc415 --agent github-copilot --scope projectGemini CLI
Pinned to commit f7330c5, the one we checked.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&mkdir -p .gemini/skills &&mkdir .gemini/skills/checking-model-compliance &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance/. .gemini/skills/checking-model-compliance/ &&rm -rf "$tmp"In a running session, run /skills reload.
Or use Gemini CLI’s own installer. Installs the latest version, not the one we checked.
gemini skills install https://github.com/matlab/simulink-agentic-toolkit.git --path skills-catalog/verification-validation-and-test/checking-model-compliance --scope workspaceAny agent
Pinned to commit f7330c5, the one we checked.
OpenCode, Goose, Windsurf (Devin Desktop), Zed, Roo Code, Factory Droid, Junie, Amp and Antigravity read .agents/skills in a project.
From your project's root folder:
tmp="$(mktemp -d)" &&git clone -q --depth 1 --filter=blob:none --no-checkout https://github.com/matlab/simulink-agentic-toolkit.git "$tmp" &&git -C "$tmp" fetch -q --depth 1 origin f7330c565877a2bce42eb029baa988398e0dc415 &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/checking-model-compliance &&git -C "$tmp" checkout -q f7330c565877a2bce42eb029baa988398e0dc415 &&mkdir -p .agents/skills &&mkdir .agents/skills/checking-model-compliance &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/checking-model-compliance/. .agents/skills/checking-model-compliance/ &&rm -rf "$tmp"Or use the skills CLI from skills.sh. Installs the latest version, not the one we checked. The skills CLI reports installs to skills.sh unless you set DISABLE_TELEMETRY=1.
npx skills@1.7.4 add matlab/simulink-agentic-toolkit --skill checking-model-complianceWhat it can touch
From the files and frontmatter at commit f7330c5. This is how much a skill can do, not whether it is risky.
Pattern check
Pattern check: 4 items to review · commit f7330c5 · 3 Nov 2026
We checked every text file in this skill, at commit f7330c5 on 3 Nov 2026, against 45 published patterns such as download-and-run commands, hidden text and credential access. We don't run the skill, we don't read the web pages it points to, and we can't judge everything its instructions might lead an agent to do. In published tests, pattern checks like this one missed most malicious skills. Read the skill before you install it — especially anything it asks you to download or run.
How the check worksReport an incorrect finding
Files we didn't read
- scripts/detect_default_config.p · binary file
- scripts/model_advisor_justify.p · binary file
- scripts/model_advisor_resolve_checks.p · binary file
- scripts/model_advisor_run.p · binary file
Outside links we did not follow
- https://www.mathworks.com/content/dam/mathworks/license/pmrl/license.md
Format check
Each agent reads SKILL.md a little differently. We check the file against each one's published rules; we don't run the skill in any agent.
Agent Skills specPasses
The open format from agentskills.io, held to the strictest version of each rule among the agents we check.
- Note
The first sentence of the description is 265 characters. Agents shorten long descriptions, so lead with the main job. D8
Fix: Start with one short sentence that names the job.
- Note
Claude CodePasses
Claude Code reads its own extra fields, ignores unknown ones, and still loads a skill whose frontmatter is broken, without its fields.
- Note
The first sentence of the description is 265 characters. Agents shorten long descriptions, so lead with the main job. D8
Fix: Start with one short sentence that names the job.
- Note
Claude apps & API uploadPasses
Uploading to claude.ai or the Claude API, or packaging with Anthropic's script, accepts only the six spec fields and stops on anything else.
- Note
The description is 359 characters. The claude.ai Help Center says 200 at most, though Anthropic's API docs and validator allow 1,024. D4
Fix: If the claude.ai upload refuses it, trim the description to 200 characters.
- Note
OpenAI (Codex & API)Passes
Codex finds SKILL.md by its exact name and needs a description; OpenAI's Skills API checks the frontmatter against the spec and caps uploads.
- Note
The first sentence of the description is 265 characters. Agents shorten long descriptions, so lead with the main job. D8
Fix: Start with one short sentence that names the job.
- Note
- VS Code & CopilotPasses
SKILL.md
We only show SKILL.md text here when its licence clearly allows it.
Read SKILL.md on GitHub (opens in a new tab)Files
9 files
More from matlab/simulink-agentic-toolkit
Other Testing & QA skills
Same category, most repo stars first.