Agent skill

Simulink Explain Missing Coverage

by matlab in 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…

Custom licenceAuto-check passed

Install Simulink Explain Missing Coverage

skills CLI
$ npx skills add matlab/simulink-agentic-toolkit --skill simulink-explain-missing-coverage -a claude-code

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

GitHub CLI
$ gh skill install matlab/simulink-agentic-toolkit simulink-explain-missing-coverage --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/simulink-explain-missing-coverage .claude/skills/simulink-explain-missing-coverage && 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
simulink-explain-missing-coverage
GitHub stars
1.2k
Token cost
~3.2k tokens
SKILL.md length
1,444 words
Files
12 (incl. scripts, references)
Skills in repo
36
Repo updated
First seen
Licence
Custom licence

At a glance

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…

  • Works in 3 steps: Summarize coverage → Locate missing objectives → Explain and resolve
  • The user asks to summarize
  • SKILL.md covers When to Use, When NOT to Use, Coverage Sources and Prerequisites, plus 3 more sections
  • Calls kind

What it does

Simulink Explain Missing Coverage is an agent skill from matlab/simulink-agentic-toolkit. Use this skill 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 decision, condition, MCDC, relational-boundary, or saturation/overflow outcomes weren't exercised, whether uncovered logic is dead code, or how to close the gap (a test, a coverage filter, or a design change). It reads an existing cvdata, .cvt file, sim-with-coverage output, or Simulink Test result; it never runs cvsim to collect…

Its SKILL.md is about 3.2k tokens, which your agent loads only when the skill is triggered. The skill folder holds 13 other files, including scripts and reference files (for example `manifest.yaml`, `references/coverage-filter-api.md` and `references/dead-logic-analysis.md`).

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

  • The user asks to summarize
  • Asks why Simulink Coverage objectives are missing
  • Uncovered on a coverage result they already have — why specific decision
  • Relational-boundary

Example prompts

  • “/simulink-explain-missing-coverage”

Workflow steps

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

  1. Summarize coverage
  2. Locate missing objectives
  3. Explain and resolve

What it can do on your machine

Read from SKILL.md and the folder at commit 455dded. 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 5 files in scripts/, which the agent can run.

    Shell commands in SKILL.md call:

    • kind

    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

Simulink Explain Missing Coverage loads about 3.2k tokens when it runs, and up to ~10k if it reads all its reference files. Until then it costs about 139 tokens; SKILL.md has 1,444 words of instructions outside code blocks.

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

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,444 words (~3,185 tokens).

“Explain why coverage objectives are missing on a coverage result the user already has, and what to do about each one — across all objective types (decision, condition, MCDC, relational boundary, saturation/overflow, lookup-table execution). Works from an existing cvdata /…”

— opening of SKILL.md by matlab, Custom licence
name
simulink-explain-missing-coverage
license
https://www.mathworks.com/content/dam/mathworks/license/pmrl/license.md
metadata.author
MathWorks
metadata.version
0.1
metadata.toolbox_dependencies
Simulink Coverage, Simulink Design Verifier, Simulink Check

Read the full SKILL.md on GitHub

Files

SKILL.md and 11 other files (scripts, references) in skills-catalog/verification-validation-and-test/simulink-explain-missing-coverage of matlab/simulink-agentic-toolkit.

  • SKILL.md
  • manifest.yaml
  • references/coverage-filter-api.md
  • references/dead-logic-analysis.md
  • references/explaining-and-resolving.md
  • references/requirements-tracing.md
  • references/script-outputs.md
  • scripts/detectDeadLogicObjectives.p
  • scripts/getCoverageSummary.p
  • scripts/markSldvDeadLogic.p
  • scripts/resolveCoverageData.p
  • scripts/traceObjectiveInputs.p

Open the folder on GitHubat commit 455dded

Compare with similar skills

Simulink Explain Missing Coverage 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.

Simulink Explain Missing Coverage compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Simulink Explain Missing Coverage this skillmatlab/simulink-agentic-toolkit1.2k—~3.2kAutomated safety check: PassCustom licence
Coveragealirezarezvani/claude-skills28k2 repos~669Automated safety check: PassMIT
Test Coveragethedaviddias/Front-End-Checklist74k—~407Automated safety check: PassMIT
Research Summarizeralirezarezvani/claude-skills28k2 repos~2.7kAutomated safety check: PassMIT
Analyzing CoverageTriliumNext/Trilium38k—~2kAutomated safety check: PassAGPL-3.0
Test Coverage Improveropenai/openai-agents-python30k—~687Automated safety check: PassMIT

Similar skills

  • Coverage

    alirezarezvani/claude-skills

    Analyze test coverage gaps. An agent skill from alirezarezvani/claude-skills.

    28k GitHub starsUsed in 2 repos~669 tokens
    Testing & QAAuto-check passed
  • Test Coverage

    thedaviddias/Front-End-Checklist

    A skill your agent uses when reviewing CI coverage, automated checks, or test strategy related to Maintain test coverage thresholds.

    74k GitHub stars~407 tokensUpdated yesterday
    Testing & QAAuto-check passed
  • Research Summarizer

    alirezarezvani/claude-skills

    Structured research summarization agent skill for non-dev users.

    28k GitHub starsUsed in 2 repos~2.7k tokens
    Research & ScienceAuto-check passed
  • Analyzing Coverage

    TriliumNext/Trilium

    A skill your agent uses when measuring or chasing Vitest/v8 code coverage in the Trilium monorepo — "what's below 100%?", "which files need tests?", "what lines of X are uncovered?", "take <area to…

    38k GitHub stars~2k tokensUpdated today
    Testing & QAAuto-check passed
  • Test Coverage Improver

    openai/openai-agents-python

    Official

    Measure Python SDK coverage or address measured coverage gaps.

    30k GitHub stars~687 tokensUpdated today
    Testing & QAAuto-check passed
  • Pytest Coverage

    github/awesome-copilot

    Official

    Run pytest tests with coverage, discover lines missing coverage, and increase coverage to 100%.

    40k GitHub starsUsed in 4 repos~282 tokens
    Testing & QAAuto-check passed

More from matlab/simulink-agentic-toolkit

All 36 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 7 days ago
    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 7 days ago
    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 7 days ago
    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 7 days ago
    Auto-check passed
  • Fix Sldv Incompatibility

    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…

    1.2k GitHub stars~3.8k tokensUpdated 7 days ago
    Auto-check passed
  • Generate Requirement Drafts

    matlab/simulink-agentic-toolkit

    Generates draft requirements from Simulink models. An agent skill from matlab/simulink-agentic-toolkit.

    1.2k GitHub stars~2.8k tokensUpdated 7 days ago
    Auto-check passed

Questions about Simulink Explain Missing Coverage

What does Simulink Explain Missing Coverage do?

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…. Simulink Explain Missing Coverage is an agent skill from matlab/simulink-agentic-toolkit. Use this skill 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 decision, condition, MCDC, relational-boundary, or saturation/overflow outcomes weren't exercised, whether uncovered logic is dead code, or how to close the gap (a test, a coverage filter, or a design change).

When should I use Simulink Explain Missing Coverage?

Simulink Explain Missing Coverage fits situations like: the user asks to summarize; asks why Simulink Coverage objectives are missing; uncovered on a coverage result they already have — why specific decision; relational-boundary.

How do I install Simulink Explain Missing Coverage in Claude Code?

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

How do I install Simulink Explain Missing Coverage in Codex?

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

Can I use Simulink Explain Missing Coverage 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 simulink-explain-missing-coverage -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/simulink-explain-missing-coverage, .gemini/skills/simulink-explain-missing-coverage, .github/skills/simulink-explain-missing-coverage and .opencode/skills/simulink-explain-missing-coverage in your project.

What does Simulink Explain Missing Coverage need to run?

Going by SKILL.md and its folder, Simulink Explain Missing Coverage needs the command-line tools its instructions call (kind).

Does Simulink Explain Missing Coverage 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 Simulink Explain Missing Coverage 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 Simulink Explain Missing Coverage use?

Simulink Explain Missing Coverage 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 Simulink Explain Missing Coverage use?

About 3.2k tokens (SKILL.md is roughly 13k 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 6.8k tokens, read only when the agent opens those files.

What are the alternatives to Simulink Explain Missing Coverage?

Skills that share tags, products or a category with Simulink Explain Missing Coverage: Coverage (alirezarezvani/claude-skills, 28k stars), Test Coverage (thedaviddias/Front-End-Checklist, 74k stars), Research Summarizer (alirezarezvani/claude-skills, 28k stars) and Analyzing Coverage (TriliumNext/Trilium, 38k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Simulink Explain Missing Coverage?

matlab (a GitHub organization) maintains it in matlab/simulink-agentic-toolkit, which has 1,195 GitHub stars. The repository holds 36 skills in this directory. The repository was last updated on September 30, 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.