claude

polyspace-test

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

30 on GitHubby MathWorksv1.2.0updated 7 days agodevelopment
/

Plugin polyspace-test from marketplace polyspace-agentic-toolkit in mathworks/polyspace-agentic-toolkit. Commands read from the repo's manifest — 6 days ago.

What it installs

Skills (2)

  • generate-polyspace-test-xunit-tests

    Authors new C/C++ unit tests for the Polyspace Test XUnit framework (PSTUnit) — creates a test plan and writes the test source code. Use when the user asks to "generate PSTUnit tests", "write Polyspace Test xUnit tests", "author PSTUnit tests", "create PSTUnit tests for this function", or wants to d

  • run-polyspace-test-xunit-tests

    Builds and runs C/C++ PSTUnit (Polyspace Test xUnit) tests, on host or target, optionally collecting coverage/profiling. A test is PSTUnit when its sources include `<pstunit.h>` or `PST_*` macros.

View source on GitHub

More from mathworks/polyspace-agentic-toolkit

All 7 plugins →

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

30

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

30

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

30

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

30

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

30

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

30

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

HKUDS/CLI-Anything 58,665

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain polyspace-test?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins7 plugins