Polyspace Agentic Toolkit
An official MathWorks toolkit that gives AI coding agents an MCP server and companion skills for running Polyspace static analysis on C and C++ code, fixing violations and formally verifying run-time safety.
The Polyspace Agentic Toolkit lets an AI assistant drive Polyspace workflows through natural-language requests, such as running Bug Finder and prioritizing findings by severity, running Code Prover to formally verify a module is free of overflows and null dereferences, triaging unproven checks, inserting correctly formatted justification annotations, or generating unit tests with the Polyspace XUnit framework.
The assistant reads instructional skill files for domain knowledge and calls MCP tools for execution; each skill also documents a direct binary fallback so it still works without the MCP server running. It supports Claude Code, GitHub Copilot, OpenAI Codex, Gemini CLI, Sourcegraph Amp and Cursor, and runs on Linux, macOS and Windows against Polyspace R2025a and later.