| name | find-option-documentation |
| description | 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. |
| license | MathWorks BSD-3-Clause |
| metadata | {"version":"1.0"} |
How to Find Polyspace Option Documentation
Find the documentation page for a Polyspace analysis option (e.g., -target, -compiler, -misra3).
IMPORTANT: The documentation page URL cannot be guessed from the flag name — it uses the GUI title, not the flag. Do not attempt to construct or guess URLs.
Step 1: Get the option description and accepted values
If the Polyspace MCP Server is available, use the get_polyspace_documentation tool:
list_payc_options = true for analysis options (polyspace-as-you-code)list_configure_options = true for build configuration options (polyspace-configure)
If the Polyspace MCP Server is NOT available, run the binary directly:
polyspace-as-you-code -help
Or for polyspace-configure options:
polyspace-configure -help
How to find the binaries
Polyspace binaries are in <polyspace_root>/polyspace/bin/. To find <polyspace_root>:
- Check the
$POLYSPACE_ROOT environment variable: echo $POLYSPACE_ROOT
- If not set, check whether the binary is already in PATH:
which polyspace-as-you-code
- If neither works, ask the user for the Polyspace installation path.
If the binary is not in PATH, use the full path: $POLYSPACE_ROOT/polyspace/bin/polyspace-as-you-code.
Find the option in the output — it shows the accepted values and the category it belongs to.
Step 2: Find the full documentation page
From the -help output, note the category heading the option appears under (e.g., "Checkers Behavior", "Target & Compiler"). Then use the mapping below to go directly to the right documentation page. The -help headings do NOT match the website page names — always use this table:
If the option is not found on the mapped page, try the full reference list at
https://www.mathworks.com/help/bugfinder/referencelist.html?type=analysisopt (may require JavaScript).
Fetch the matching page — it lists individual options with direct links to their reference pages.
If you have a web search tool (not a URL fetch tool), you can alternatively search for:
site:mathworks.com/help/bugfinder polyspace "<option_name>" option
Use quotes around the option name and add "polyspace" and "option" as context words — this is essential for short or common option names like -c or -library.
ACTION REQUIRED: Do not answer from memory alone. Use the approaches above to get the accurate documentation.
Copyright 2026 The MathWorks, Inc.
