mathworks/polyspace-agentic-toolkit

mathworks/polyspace-agentic-toolkit

Plugin Claude Code

Bundles 2 skills · 169 tokens together

Generate, build, run, and measure coverage of C/C++ unit tests with the Polyspace XUnit framework (PSTUnit).

mathworks/polyspace-agentic-toolkit

Plugin Claude Code

Bundles 3 skills · 144 tokens together

Cross-product foundations for the Polyspace Agentic Toolkit — resolve the Polyspace installation root, configure build options, and find Polyspace documentation entry points. Every toolkit user needs these.

mathworks/polyspace-agentic-toolkit

Plugin Claude Code

Bundles 8 skills · 632 tokens together

Shared static-analysis skills for Polyspace as You Code, Bug Finder, and Code Prover — review, fix, and justify findings (in code or in the results database), configure checkers, and find checker/option documentation. Install alongside any Polyspace static-analysis product.

mathworks/polyspace-agentic-toolkit

Plugin Cursor

Bundles 14 skills, 3 plugins · 1,018 tokens together

Static analysis skills and MCP tools for C/C++ using Polyspace as You Code, Bug Finder, and Code Prover. Run analysis, review, fix, and justify findings, configure checkers and build options, and generate unit tests.

mathworks/polyspace-agentic-toolkit

Plugin Gemini CLI

Static analysis skills and MCP tools for C/C++ using Polyspace as You Code, Bug Finder, and Code Prover. Run analysis, review, fix, and justify findings, configure checkers, and generate unit tests.