Screened · automated checks passed
checking-model-compliance
What the author says it does
Checks a Simulink model against a compliance standard (MISRA, MAB, JMAAB, ISO 26262, ISO 25119, DO-178C, DO-254, IEC 61508, IEC 62304, EN 50128, CERT C/CWE, AUTOSAR) using Model Advisor, then summarizes findings and suggests fixes. Use when the user asks whether their model is compliant, wants to run standard checks, or needs a compliance report.
Quoted from the skill's own SKILL.md trigger description — this is what tells
Claude when to activate it. Not yet verified by us.
Automated screening
100/100 validator score
Scored by the same rules as our free SKILL.md validator: trigger description quality, body substance, structure. Automated — a human bench test is the next step in the pipeline.
Install (unverified — review first)
git clone https://github.com/matlab/simulink-agentic-toolkit # skill lives at: skills-catalog/verification-validation-and-test/checking-model-compliance/SKILL.md
SkillProof status
This skill is in our test queue. We install every skill in a clean environment, run a trigger battery and score output against a baseline before it earns a catalog page — the full protocol is public. Until then, treat it like any unreviewed dependency: read the SKILL.md and any scripts before installing.
Already tested in Productivity & Workflow
- Fetch URL As Markdown Local trafilatura-first URL-to-Markdown fetcher with a clean exit-code contract for when to fall back to Exa.
- Refresh Context Map Rebuilds the AIDEV-anchor/AGENTS.md/ADR manifest that powers claude-leverage's PreToolUse context hook.
- Video Vision Local ffmpeg+Whisper pipeline that lets Claude actually watch and transcribe video files
- YT Digest Turns a YouTube URL into a timestamped, screenshotted markdown research note via real yt-dlp + ffmpeg.