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.
Plugin polyspace-code-prover from marketplace polyspace-agentic-toolkit in mathworks/polyspace-agentic-toolkit. Commands read from the repo's manifest — 6 days ago.
review-polyspace-code-prover-resultsReads, explains, and prioritizes Polyspace Code Prover results from a .pscp database. Use when the user asks "what did Code Prover find", "explain this red/orange/green/gray check", "why is this check orange", "was most of my code analyzed", "what are the most critical run-time errors", or wants the
run-polyspace-code-prover-analysisRuns Polyspace Code Prover on C/C++ code, producing a results database (.pscp). Use when the user asks to "run Code Prover", "prove absence of run-time errors", "formally verify this code", wants proof-backed guarantees or memory safety, or wants red/orange/green/gray run-time error checks.
triage-orange-checksTriages Polyspace Code Prover orange (unproven) checks and decides what to do about them. Use when the user asks to "reduce orange", "which oranges are real bugs", "which oranges can I justify", "find defects hidden in orange", "what should I do about this orange", "is this orange in dead/unreachabl
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
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
Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
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
Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.
5 commands
Automates browser interactions for web testing, form filling, screenshots, and data extraction
12 skills
Use Alibaba Open Code Review from local Codex.
2 skills
Claude Code skill for creating and presenting Slidev slidedecks
1 skill
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.