Agent skill

Checking Model Compliance

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

Custom licenceAuto-check passed

Install Checking Model Compliance

skills CLI
$ npx skills add matlab/simulink-agentic-toolkit --skill checking-model-compliance -a claude-code

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

GitHub CLI
$ gh skill install matlab/simulink-agentic-toolkit checking-model-compliance --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/checking-model-compliance .claude/skills/checking-model-compliance && 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
checking-model-compliance
GitHub stars
1.2k
Token cost
~3k tokens
SKILL.md length
1,203 words
Files
9 (incl. scripts, references)
Skills in repo
43
Repo updated
First seen
Licence
Custom licence

At a glance

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…

  • Works in 9 steps: Identify Standard, Model, and Scope → Choose Path → Resolve Checks (Path A only) → …
  • The user asks to check Simulink model compliance against a standard (MISRA
  • SKILL.md covers When to Use, When NOT to Use, Supported Standards and Prerequisites, plus 3 more sections
  • Simulink Code Inspector (SLCI))

What it does

Checking Model Compliance is an agent skill from matlab/simulink-agentic-toolkit. 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.

Its SKILL.md is about 3k tokens, which your agent loads only when the skill is triggered. The skill folder holds 10 other files, including scripts and reference files (for example `manifest.yaml`, `references/fix-mode.md` and `references/semantic-evaluation-index.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 check Simulink model compliance against a standard (MISRA
  • Simulink Code Inspector (SLCI))
  • Wants to run Model Advisor checks
  • Needs a compliance report with fix suggestions

Example prompts

  • “/checking-model-compliance”

Workflow steps

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

  1. Identify Standard, Model, and Scope
  2. Choose Path
  3. Resolve Checks (Path A only)
  4. Run Checks
  5. Analyze Findings
  6. Present Compliance Report
  7. Performing the Uncheckable Guidelines Review (JMAAB/MAB only)
  8. Fix Mode
  9. Justification Mode

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 4 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

Checking Model Compliance loads about 3k tokens when it runs, and up to ~5.7k if it reads all its reference files. Until then it costs about 96 tokens; SKILL.md has 1,203 words of instructions outside code blocks.

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

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

“Runs Model Advisor checks for a named standard (or default configuration) and delivers a prioritized summary with fix suggestions.”

— opening of SKILL.md by matlab, Custom licence
name
checking-model-compliance
license
https://www.mathworks.com/content/dam/mathworks/license/pmrl/license.md
metadata.author
MathWorks
metadata.version
0.6

Read the full SKILL.md on GitHub

Files

SKILL.md and 8 other files (scripts, references) in skills-catalog/verification-validation-and-test/checking-model-compliance of matlab/simulink-agentic-toolkit.

  • SKILL.md
  • manifest.yaml
  • references/fix-mode.md
  • references/semantic-evaluation-index.md
  • references/uncheckable-guidelines-review.md
  • scripts/detect_default_config.p
  • scripts/model_advisor_justify.p
  • scripts/model_advisor_resolve_checks.p
  • scripts/model_advisor_run.p

Open the folder on GitHubat commit c58e6ae

Compare with similar skills

Checking Model Compliance 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.

Checking Model Compliance compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Checking Model Compliance this skillmatlab/simulink-agentic-toolkit1.2k—~3kAutomated safety check: PassCustom licence
Check PRpaperclipai/paperclip99k—~3.6kAutomated safety check: PassMIT
Checkdavepoon/buildwithclaude3.6k—~680Automated safety check: PassMIT
Fact Check X Unifiedsickn33/agentic-awesome-skills47k1 repos~1.7kAutomated safety check: PassApache-2.0
Fact Check X Completesickn33/agentic-awesome-skills47k1 repos~2.3kAutomated safety check: PassApache-2.0
CheckVibiumDev/vibium2.9k—~2kAutomated safety check: PassApache-2.0

Similar skills

  • Check PR

    paperclipai/paperclip

    Check a GitHub, GitLab, or Perforce PR/MR/CL for review comments, failing checks, and PR-body gaps.

    99k GitHub stars~3.6k tokensUpdated today
    DevelopmentAuto-check passed
  • Check

    davepoon/buildwithclaude

    Run CIAgent regression checks after changing an AI agent's code, prompts, or knowledge base in a repo that has agentcispec.yaml, and interpret the results.

    3.6k GitHub stars~680 tokensUpdated yesterday
    Knowledge ManagementAuto-check passed
  • Fact Check X Unified

    sickn33/agentic-awesome-skills

    Fact-Check-X 流程编排能力,依次组织各方答案汇总、各方答案聚合(未核验)、权威核验后的最终答案和各方答案测评,生成可打开、可审计、可迁移的阶段产物与完整报告包。

    47k GitHub starsUsed in 1 repo~1.7k tokens
    Research & ScienceAuto-check passed
  • Fact Check X Complete

    sickn33/agentic-awesome-skills

    Compare claims from one or more AI answers, verify their citations against public primary sources, and produce an evidence-linked fact-check report without installing a bundled browser runtime.

    47k GitHub starsUsed in 1 repo~2.3k tokens
    Research & ScienceAuto-check passed
  • Check

    VibiumDev/vibium

    Independently check application acceptance criteria in a live browser or saved recording with the Vibium CLI.

    2.9k GitHub stars~2k tokensUpdated today
    Product & Project ManagementAuto-check passed
  • Fact Check

    THU-MAIC/OpenMAIC

    Improve factual reliability while creating or reviewing a course or supplied content.

    40k GitHub stars~1.9k tokensUpdated today
    Research & ScienceAuto-check: warnings

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 today
    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 today
    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 today
    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 today
    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 today
    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 today
    Auto-check passed

Questions about Checking Model Compliance

What does Checking Model Compliance do?

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…. Checking Model Compliance is an agent skill from matlab/simulink-agentic-toolkit. 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.

When should I use Checking Model Compliance?

Checking Model Compliance fits situations like: the user asks to check Simulink model compliance against a standard (MISRA; simulink Code Inspector (SLCI)); wants to run Model Advisor checks; needs a compliance report with fix suggestions.

How do I install Checking Model Compliance in Claude Code?

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

How do I install Checking Model Compliance in Codex?

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

Can I use Checking Model Compliance 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 checking-model-compliance -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/checking-model-compliance, .gemini/skills/checking-model-compliance, .github/skills/checking-model-compliance and .opencode/skills/checking-model-compliance in your project.

What does Checking Model Compliance need to run?

SKILL.md names no scripts, command-line tools or credentials: Checking Model Compliance is instructions for the agent only.

Does Checking Model Compliance 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 Checking Model Compliance 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 Checking Model Compliance use?

Checking Model Compliance 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 Checking Model Compliance use?

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

What are the alternatives to Checking Model Compliance?

Skills that share tags, products or a category with Checking Model Compliance: Check PR (paperclipai/paperclip, 99k stars), Check (davepoon/buildwithclaude, 3.6k stars), Fact Check X Unified (sickn33/agentic-awesome-skills, 47k stars) and Fact Check X Complete (sickn33/agentic-awesome-skills, 47k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Checking Model Compliance?

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.