| 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"} |
How to Configure Checkers for Polyspace
Create or modify the checkers XML file that defines which coding rules and defect checkers Polyspace uses during analysis.
Using the MCP tool
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)- Standard parameters (set to
"all" to enable): misra_c_2012, misra_c_2023, misra_cpp_2023, cert_c, cert_cpp, cwe, polyspace_defects
launch_checkers_selection_ui (optional): set to true to open the interactive UI instead
Standard parameters and launch_checkers_selection_ui are mutually exclusive.
Otherwise using the binary / writing the XML directly
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.
