Agent skill

Fix Sldv Incompatibility

by matlab in matlab/simulink-agentic-toolkit

A skill your agent uses when a Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false, or an SLDV analysis errors out on an unsupported construct) and needs to be…

Custom licenceAuto-check passedTesting & QA

Install Fix Sldv Incompatibility

skills CLI
$ npx skills add matlab/simulink-agentic-toolkit --skill fix-sldv-incompatibility -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install matlab/simulink-agentic-toolkit fix-sldv-incompatibility --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/matlab/simulink-agentic-toolkit.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills-catalog/verification-validation-and-test/fix-sldv-incompatibility .claude/skills/fix-sldv-incompatibility && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
fix-sldv-incompatibility
GitHub stars
1.2k
Token cost
~3.8k tokens
SKILL.md length
1,985 words
Files
7 (incl. scripts, references)
Skills in repo
43
Repo updated
First seen
Licence
Custom licence

At a glance

A skill your agent uses when a Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false, or an SLDV analysis errors out on an unsupported construct) and needs to be…

  • Works in 7 steps: Run the Diagnostic Tool → 5: Triage a Missing External Dependency… → Match the Rule → …
  • A Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false
  • SKILL.md covers When to Use, When NOT to Use, Scope and Prerequisites, plus 1 more section
  • An SLDV analysis errors out on an unsupported construct) and needs to be made analyzable

What it does

Fix Sldv Incompatibility is an agent skill from matlab/simulink-agentic-toolkit. Use when a Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false, or an SLDV analysis errors out on an unsupported construct) and needs to be made analyzable. Diagnoses the incompatibility, applies the matching fix to a copy, and confirms the copy is compatible; optionally raises confidence the fix preserved behavior via a back-to-back consistency replay (agreement on the generated tests, not a proof of equivalence). Do NOT use for running test generation, design error detection…

Its SKILL.md is about 3.8k tokens, which your agent loads only when the skill is triggered. The skill folder holds 8 other files, including scripts and reference files (for example `manifest.yaml`, `references/consistency-check.md` and `references/incompatibility-rules.md`).

It sits in Testing & QA, covering Test generation. The repository describes itself as: The Simulink Agentic Toolkit gives your AI agent both the tools and the expertise to work effectively with Simulink and Model-Based Design.

When your agent uses it

  • A Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false
  • An SLDV analysis errors out on an unsupported construct) and needs to be made analyzable
  • Running test generation
  • Design error detection

Example prompts

  • “/fix-sldv-incompatibility”

Workflow steps

7 steps, taken from the step headings in SKILL.md.

  1. Run the Diagnostic Tool
  2. 5: Triage a Missing External Dependency (ask, don't fix)
  3. Match the Rule
  4. 5: Localize a Generic Finding (only when the finding is not actionable)
  5. Apply the Fix
  6. Verify and Finish (default endpoint)
  7. Offer a Behavior Consistency Check (optional — only when the intent is present)

What it can do on your machine

Read from SKILL.md and the folder at commit c58e6ae. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Ships 3 files in scripts/, which the agent can run.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Fix Sldv Incompatibility loads about 3.8k tokens when it runs, and up to ~11k if it reads all its reference files. Until then it costs about 160 tokens; SKILL.md has 1,985 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~160
When it runs · the whole SKILL.md, loaded when a task matches
~3.8k
With references · SKILL.md plus every file in references/, read only if the agent opens them
~11k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); the scripts in this folder are not scanned.

SKILL.md

Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 1,985 words (~3,817 tokens).

“Fix Simulink Design Verifier incompatibilities by diagnosing the model and applying the matching fix. Block-level fixes go through model_edit; solver/config-level fixes are the one exception that requires setting the parameter directly (see Step 3).”

— opening of SKILL.md by matlab, Custom licence
name
fix-sldv-incompatibility
license
https://www.mathworks.com/content/dam/mathworks/license/pmrl/license.md
metadata.author
MathWorks
metadata.version
1.0

Read the full SKILL.md on GitHub

Files

SKILL.md and 6 other files (scripts, references) in skills-catalog/verification-validation-and-test/fix-sldv-incompatibility of matlab/simulink-agentic-toolkit.

  • SKILL.md
  • manifest.yaml
  • references/consistency-check.md
  • references/incompatibility-rules.md
  • scripts/sldv_diagnose_incompatibility.p
  • scripts/sldv_localize_incompatibility.p
  • scripts/sldv_verify_consistency.p

Open the folder on GitHubat commit c58e6ae

Compare with similar skills

Fix Sldv Incompatibility next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Fix Sldv Incompatibility compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Fix Sldv Incompatibility this skillmatlab/simulink-agentic-toolkit1.2k—~3.8kAutomated safety check: PassCustom licence
Emcaklofas/kicad-happy1.4k1 repos~2.8kAutomated safety check: PassMIT
Swig Testswig/swig6.3k—~2.3kAutomated safety check: PassCustom licence
Generate Test Cases342164796/generate-test-cases1191 repos~2.9kAutomated safety check: PassNone
Verify Cc Safety Netkenryu42/cc-safety-net1.6k—~2kAutomated safety check: PassMIT
Wioworkersio/skills190—~5.8kAutomated safety check: PassMIT

Similar skills

  • Emc

    aklofas/kicad-happy

    EMC pre-compliance risk analysis for KiCad PCB designs — 18 check categories, 44 rule IDs covering ground planes, decoupling, I/O filtering, switching harmonics, clock routing, differential pair…

    1.4k GitHub starsUsed in 1 repo~2.8k tokens
    Testing & QAAuto-check passed
  • Swig Test

    swig/swig

    Run SWIG test suite for specific languages. An agent skill from swig/swig.

    6.3k GitHub stars~2.3k tokensUpdated 2 days ago
    Testing & QAAuto-check passed
  • Generate Test Cases

    342164796/generate-test-cases

    自主学习型测试文档生成器。从需求文档(Markdown)生成测试用例 XMind 文件,支持持久化记忆和持续学习。当用户提到"生成测试用例"、"根据需求生成测试"时触发。

    119 GitHub starsUsed in 1 repo~2.9k tokens
    Testing & QAAuto-check passed
  • Verify Cc Safety Net

    kenryu42/cc-safety-net

    Launch and drive the real cc-safety-net CLI — the hook decision path, explain, status/doctor, logs, and the local policy GUI — against an isolated home, capturing evidence.

    1.6k GitHub stars~2k tokensUpdated yesterday
    Testing & QAAuto-check passed
  • Wio

    workersio/skills

    Testing workflow skill for finding high-value test candidates, writing focused tests, generating realistic workloads, reviewing test value, and diagnosing test-suite health.

    190 GitHub stars~5.8k tokensUpdated 2 mo ago
    Testing & QAAuto-check passed
  • File Server

    microsoft/WindowsProtocolTestSuites

    Official

    ALWAYS LOAD THIS SKILL when working with FileServer, SMB, SMB2, SMB3, CIFS, file sharing, MS-SMB2, MS-FSCC, MS-FSA, MS-DFSC, MS-FSRVP, MS-RSVD, MS-SQOS, or any file server protocol test…

    567 GitHub stars~4.1k tokensUpdated 23 days ago
    Testing & QAAuto-check passed

More from matlab/simulink-agentic-toolkit

All 43 skills in this repo
  • Resolve Design Errors

    matlab/simulink-agentic-toolkit

    A skill your agent uses 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…

    1.2k GitHub stars~2.1k tokensUpdated yesterday
    Auto-check passed
  • Simscape Write Ssc

    matlab/simulink-agentic-toolkit

    A skill your agent uses when writing or editing Simscape Language (.ssc) source files — components, domains, or functions.

    1.2k GitHub stars~2.1k tokensUpdated yesterday
    Auto-check passed
  • Simulink Optimizing Embedded Code

    matlab/simulink-agentic-toolkit

    Optimizes Simulink models for Embedded Coder generated code.

    1.2k GitHub stars~4.5k tokensUpdated yesterday
    Auto-check passed
  • Checking Model Compliance

    matlab/simulink-agentic-toolkit

    A skill your agent uses 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…

    1.2k GitHub stars~3k tokensUpdated yesterday
    Auto-check passed
  • Simulink Collect Metrics

    matlab/simulink-agentic-toolkit

    Collect and assess quality metrics for Simulink models using the metric.Engine API.

    1.2k GitHub stars~4.4k tokensUpdated yesterday
    Auto-check passed
  • Simulink Explain Missing Coverage

    matlab/simulink-agentic-toolkit

    A skill your agent uses when the user asks to summarize, or asks why Simulink Coverage objectives are missing, unsatisfied, or uncovered on a coverage result they already have — why specific…

    1.2k GitHub stars~3.2k tokensUpdated yesterday
    Auto-check passed

Categories

Questions about Fix Sldv Incompatibility

What does Fix Sldv Incompatibility do?

A skill your agent uses when a Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false, or an SLDV analysis errors out on an unsupported construct) and needs to be…. Fix Sldv Incompatibility is an agent skill from matlab/simulink-agentic-toolkit. Use when a Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false, or an SLDV analysis errors out on an unsupported construct) and needs to be made analyzable.

When should I use Fix Sldv Incompatibility?

Fix Sldv Incompatibility fits situations like: A Simulink model is incompatible with Simulink Design Verifier (sldvcompat returns false; an SLDV analysis errors out on an unsupported construct) and needs to be made analyzable; running test generation; design error detection.

How do I install Fix Sldv Incompatibility in Claude Code?

Run `npx skills add matlab/simulink-agentic-toolkit --skill fix-sldv-incompatibility -a claude-code`. Or copy the skill folder (skills-catalog/verification-validation-and-test/fix-sldv-incompatibility in matlab/simulink-agentic-toolkit) into .claude/skills/fix-sldv-incompatibility in your project. Claude Code loads it when a task matches its description.

How do I install Fix Sldv Incompatibility in Codex?

Run `npx skills add matlab/simulink-agentic-toolkit --skill fix-sldv-incompatibility -a codex`. Or copy the skill folder (skills-catalog/verification-validation-and-test/fix-sldv-incompatibility in matlab/simulink-agentic-toolkit) into .agents/skills/fix-sldv-incompatibility in your project. Codex loads it when a task matches its description.

Can I use Fix Sldv Incompatibility in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add matlab/simulink-agentic-toolkit --skill fix-sldv-incompatibility -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/fix-sldv-incompatibility, .gemini/skills/fix-sldv-incompatibility, .github/skills/fix-sldv-incompatibility and .opencode/skills/fix-sldv-incompatibility in your project.

What does Fix Sldv Incompatibility need to run?

SKILL.md names no scripts, command-line tools or credentials: Fix Sldv Incompatibility is instructions for the agent only.

Does Fix Sldv Incompatibility access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Fix Sldv Incompatibility safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.

What licence does Fix Sldv Incompatibility use?

Fix Sldv Incompatibility has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.

How many tokens does Fix Sldv Incompatibility use?

About 3.8k tokens (SKILL.md is roughly 15k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 7.3k tokens, read only when the agent opens those files.

What are the alternatives to Fix Sldv Incompatibility?

Skills that share tags, products or a category with Fix Sldv Incompatibility: Emc (aklofas/kicad-happy, 1.4k stars), Swig Test (swig/swig, 6.3k stars), Generate Test Cases (342164796/generate-test-cases, 119 stars) and Verify Cc Safety Net (kenryu42/cc-safety-net, 1.6k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Fix Sldv Incompatibility?

matlab (a GitHub organization) maintains it in matlab/simulink-agentic-toolkit, which has 1,199 GitHub stars. The repository holds 43 skills in this directory. The repository was last updated on October 7, 2026.

Source: matlab/simulink-agentic-toolkit on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.