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.
Plugin polyspace-bug-finder from marketplace polyspace-agentic-toolkit in mathworks/polyspace-agentic-toolkit. Commands read from the repo's manifest — 6 days ago.
run-polyspace-bug-finder-analysisRuns Polyspace Bug Finder on C/C++ code — static analysis that finds defects and coding-standard violations across several files / a whole component (interprocedural, cross-file) — producing a results database (.psbf). Use when the request targets multiple files, a component, or a project, or names
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
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.