resolve-design-errors
matlab/simulink-agentic-toolkitTesting & QAFrontend & design
resolve-design-errors is a skill in matlab/simulink-agentic-toolkit, last changed 16 Sept 2026. It can name web addresses and include files we can't read.
Use when asked to run Design Error Detection (quick defect scan), find design errors in a Simulink model, perform root cause analysis on DED findings, fix division-by-zero, overflow, dead logic or out-of-bounds defects detected by SLDV, or diagnose why missing coverage cannot be achieved (dead logic blocking coverage objectives). Do NOT use for requirement verification, test generation, Inf/NaN detection, active logic analysis, or coverage measurement.
At a glance
What it can touch
How much a skill can do, not whether it is risky.
Pattern check:14 items to reviewSee them
Install
Each tab says whether it installs commit ef5d5f8, 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/resolve-design-errors (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 14 items before installing, starting with Binary, compiled, archived or document file — scripts/buildDepthLimitedTrace.p
Claude Code
Pinned to commit ef5d5f8, 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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&mkdir -p .claude/skills &&mkdir .claude/skills/resolve-design-errors &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors/. .claude/skills/resolve-design-errors/ &&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 ef5d5f8, the one we checked.
Skills in the Claude apps belong to your account rather than to a project.
Make resolve-design-errors.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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&out="$(mktemp -d)" &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors "$out"/resolve-design-errors &&(cd "$out" && zip -qr - resolve-design-errors) > resolve-design-errors.zip &&rm -rf "$tmp" "$out"In Claude, open Customize > Skills, select +, then + Create skill > Upload a skill, and choose resolve-design-errors.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 ef5d5f8, 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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&mkdir -p .agents/skills &&mkdir .agents/skills/resolve-design-errors &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors/. .agents/skills/resolve-design-errors/ &&rm -rf "$tmp"Codex picks up new skills on its own; restart it if this one does not appear.
Cursor
Pinned to commit ef5d5f8, 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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&mkdir -p .cursor/skills &&mkdir .cursor/skills/resolve-design-errors &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors/. .cursor/skills/resolve-design-errors/ &&rm -rf "$tmp"Copilot & VS Code
Pinned to commit ef5d5f8, 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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&mkdir -p .github/skills &&mkdir .github/skills/resolve-design-errors &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors/. .github/skills/resolve-design-errors/ &&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/resolve-design-errors/SKILL.md@ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f --agent github-copilot --scope projectGemini CLI
Pinned to commit ef5d5f8, 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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&mkdir -p .gemini/skills &&mkdir .gemini/skills/resolve-design-errors &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors/. .gemini/skills/resolve-design-errors/ &&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/resolve-design-errors --scope workspaceAny agent
Pinned to commit ef5d5f8, 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 ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&git -C "$tmp" sparse-checkout set -- skills-catalog/verification-validation-and-test/resolve-design-errors &&git -C "$tmp" checkout -q ef5d5f8faeca13d8c66e94828bf6a44aadaa8b3f &&mkdir -p .agents/skills &&mkdir .agents/skills/resolve-design-errors &&cp -R "$tmp"/skills-catalog/verification-validation-and-test/resolve-design-errors/. .agents/skills/resolve-design-errors/ &&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 resolve-design-errorsWhat it can touch
From the files and frontmatter at commit ef5d5f8. This is how much a skill can do, not whether it is risky.
Pattern check
Pattern check: 14 items to review · commit ef5d5f8 · 29 Oct 2026
Show 4 more
We checked every text file in this skill, at commit ef5d5f8 on 29 Oct 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/buildDepthLimitedTrace.p · binary file
- scripts/buildSlice.p · binary file
- scripts/checkEnvironment.p · binary file
- scripts/classifyDeadLogic.p · binary file
- scripts/computeReach.p · binary file
- scripts/defaultConfig.p · binary file
- scripts/detectCascade.p · binary file
- scripts/extractFindings.p · binary file
- scripts/isolateRootCauses.p · binary file
- scripts/loadSldvResults.p · binary file
Show 4 more
- scripts/runDesignErrorDetection.p · binary file
- scripts/sldv_find_de_root_cause.p · binary file
- scripts/sldv_run_defect_checker.p · binary file
- scripts/writeReport.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 with warnings
The open format from agentskills.io, held to what the strictest agents enforce, so one folder loads everywhere.
- Warning
metadata values should be text; toolbox_dependencies (a list) is not. The spec's validator turns them into text; other readers may not. O4
Fix: Quote each value, for example version: "1.0".
- Note
The first sentence of the description is 331 characters. Agents shorten long descriptions, so lead with the main job. D8
Fix: Start with one short sentence that names the job.
- Warning
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 331 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 456 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
metadata values should be text; toolbox_dependencies (a list) is not. The spec defines metadata as text to text. O4
Fix: Quote each value, for example version: "1.0".
- Note
OpenAI (Codex & API)Passes with warnings
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.
- Warning
metadata values should be text; toolbox_dependencies (a list) is not. OpenAI's upload follows the spec's text-to-text rule. O4
Fix: Quote each value, for example version: "1.0".
- Note
The first sentence of the description is 331 characters. Agents shorten long descriptions, so lead with the main job. D8
Fix: Start with one short sentence that names the job.
- Warning
- 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
28 files
Show 8 more
More from matlab/simulink-agentic-toolkit
Other Testing & QA skills
Same category, most repo stars first.