Polyspace Agentic Toolkit brings trusted Polyspace verification directly into AI-driven development workflows, enabling your AI coding agents to automatically analyze C/C++ code. AI coding agents can interpret Polyspace findings, explain issues, and suggest fixes, turning analysis results into actionable improvements. You can also generate C/C++ tests from verified code scenarios, using Polyspace Test xUnit API, to extend coverage and leverage code coverage and test execution capabilities. All agent actions are grounded in trusted Polyspace capabilities, enabling reliability and control of AI-generated code, while integration with modern AI coding agents lets you incorporate these capabilities into your existing toolchain.
Let AI Coding Agents Run Polyspace Analysis
Enable AI coding agents to run Polyspace as You Code analysis on C/C++ files for checking code and reviewing findings. Guide AI coding agents with skills to manage checker configurations and build options with project-specific settings.
Close the Loop on Findings
Guide AI coding agents through analyze–fix–re-analyze workflows to help address defects and coding standard violations before code review or integration. Assist coding agents in adding formatted Polyspace justifications and using approved justification catalogs.
Create Unit Tests with Polyspace Test
Enable AI coding agents to generate C/C++ unit tests using the Polyspace Test xUnit API, streamlining test execution, code instrumentation, and code coverage collection.
Connect Agents Through MCP Tools and Skills
Enable AI coding agents to execute Polyspace commands and interpret Polyspace results using the Polyspace MCP Server. Polyspace specific skills can guide AI coding agents to support Polyspace configurations, access documentation, and manage Polyspace results. Built-in support provided for AI coding assistants such as Claude® Code, GitHub Copilot®, OpenAI® Codex, Gemini CLI®, and Sourcegraph Amp.
