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.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: