mathworks

mathworks/polyspace-agentic-toolkit

Plugin Claude Code

Plugin marketplace listing 3 plugins: polyspace-agentic-toolkit-setup, polyspace-as-you-code, polyspace-test.

mathworks/polyspace-agentic-toolkit

Settings file Claude Code

The Polyspace Agentic Toolkit brings trusted Polyspace capabilities to AI agents.

mathworks/polyspace-agentic-toolkit

Instructions file CodexOpenCode

AGENTS.md instructions for mathworks/polyspace-agentic-toolkit, covering polyspace agentic toolkit — agent instructions, setup, skills and mcp tools.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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…

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

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.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

Adds Polyspace justification annotations to C/C++ source code. Use when the user asks to "justify this finding", "add a Polyspace annotation", "mark as false positive", "suppress finding", or wants to add justification comments to Polyspace findings.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

Queries a Polyspace justification catalog for pre-approved texts. Use when the user asks to "query justification catalog", "find pre-approved justification", "look up catalog", or needs to find pre-approved justification texts for Polyspace findings.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

Runs Polyspace as You Code static analysis on C/C++ source files. Use when the user asks to "run analysis", "check my code", "analyze this file", "make this MISRA compliant", "check compliance", or wants to find defects and coding standard violations in C/C++ code.

mathworks/polyspace-agentic-toolkit

Skill Claude CodeCodex

Generates unit tests using the Polyspace XUnit framework (PSTUnit). Use when the user asks to "generate unit tests", "write tests", "PSTUnit", "Polyspace XUnit", or wants to create C/C++ unit tests.