Plugin marketplace
The Polyspace Agentic Toolkit brings trusted Polyspace capabilities to AI agents.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
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.
8 skills
Run and review Polyspace Code Prover to prove the absence of run-time errors in C/C++ code, and triage orange (unproven) checks. Pairs with polyspace-static-core for justifying findings.
3 skills
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.
3 skills
Generate, build, run, and measure coverage of C/C++ unit tests with the Polyspace XUnit framework (PSTUnit)
2 skills
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.
1 skill
Run Polyspace as You Code file-level static analysis on the C/C++ file you are editing to find defects and coding-standard violations. Pairs with polyspace-static-core for reviewing, fixing, and justifying findings.
1 skill
Run Polyspace Bug Finder across several C/C++ files or a whole component to find defects and coding-standard violations. Pairs with polyspace-static-core for reviewing, fixing, and justifying findings.
1 skill
Shows how many plugins this repo ships, and links here.