メニュー
Creates or modifies Polyspace checkers configuration files. Use when the user asks to "configure checkers", "set up MISRA checking", "enable CWE", "create checkers file", or needs to select coding standards for Polyspace analysis.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Sets up the Polyspace Agentic Toolkit for any supported AI agent. Use when the user asks to "set up Polyspace", "set up the Polyspace Agentic Toolkit", "install the Polyspace MCP Server", "configure Polyspace for my agent", or wants to get Polyspace working with their AI application.
Creates Polyspace build options files from build commands or compilation databases. Use when the user asks to "configure build options", "create build options file", "set up Polyspace build", or needs to configure compiler settings for Polyspace analysis.
Provides Polyspace documentation entry points and links. Use when the user asks about "Polyspace documentation", "where is the Polyspace docs", "documentation links", or needs to find general Polyspace documentation.
Finds documentation for Polyspace checkers and coding rules. Use when the user asks "what does this checker do", "find checker documentation", "explain this Polyspace rule", or wants to understand a specific Polyspace finding.
REQUIRED before searching for any Polyspace option documentation page. Use when the user asks about a Polyspace option (-c, -target, -sources, -boolean-types, -misra3, etc.), wants to find an option's doc page, or asks 'what does this option do'. This skill contains the only reliable method to locate option reference pages — URLs cannot be guessed from the flag name.
Fixes or justifies Polyspace findings after analysis. Use when the user asks to "fix this finding", "fix these defects", "fix violations", "address Polyspace results", or wants to resolve static analysis findings.
| name | configure-checkers |
| description | Creates or modifies Polyspace checkers configuration files. Use when the user asks to "configure checkers", "set up MISRA checking", "enable CWE", "create checkers file", or needs to select coding standards for Polyspace analysis. |
| license | MathWorks BSD-3-Clause |
| metadata | {"version":"1.0"} |
Create or modify the checkers XML file that defines which coding rules and defect checkers Polyspace uses during analysis.
If the Polyspace MCP Server is available, use the configure_checkers_for_polyspace tool:
checkers_file_path (required): absolute path to the XML file to create (must have .xml extension)"all" to enable): misra_c_2012, misra_c_2023, misra_cpp_2023, cert_c, cert_cpp, cwe, polyspace_defectslaunch_checkers_selection_ui (optional): set to true to open the interactive UI insteadStandard parameters and launch_checkers_selection_ui are mutually exclusive.
If the Polyspace MCP Server is NOT available, read cli-usage.md in this folder for how to write the checkers XML file directly or launch the interactive UI.
Copyright 2026 The MathWorks, Inc.