Polyspace
The Polyspace Agentic Toolkit brings trusted Polyspace capabilities to AI agents.
What is Polyspace?
Polyspace is a Model Context Protocol (MCP) server that allows AI assistants like Claude, Cursor, and VS Code to polyspace agentic toolkit brings trusted polyspace capabilities to ai agents.
The Polyspace Agentic Toolkit brings trusted Polyspace capabilities to AI agents.
This server falls under the Coding Agents category on MCPgee, the world's largest MCP server directory with 33,000+ servers.
Features
- The Polyspace Agentic Toolkit brings trusted Polyspace capab
Use Cases
Maintainer
Works with
Installation
Manual Installation
npx polyspace-agentic-toolkitConfiguration
Configuration Details
claude_desktop_config.json
Performance
Response Metrics
Resource Usage
How to Set Up and Use Polyspace
The Polyspace Agentic Toolkit by MathWorks brings static code analysis and formal verification capabilities from Polyspace as You Code directly into AI coding agents like Claude Code and GitHub Copilot. Agents can analyze C and C++ source files for MISRA, AUTOSAR, or other coding standard violations, configure build options, query justification catalogs, and look up Polyspace documentation — all through natural language. Engineering teams working on safety-critical embedded software can now integrate continuous compliance checking into AI-assisted development workflows.
Prerequisites
- Polyspace as You Code installed and licensed (set POLYSPACE_ROOT to its installation directory)
- C or C++ source project to analyze
- An MCP-compatible AI coding agent: Claude Code, GitHub Copilot with MCP support, or Sourcegraph Amp
- Git and PowerShell (the toolkit uses PowerShell scripts for server management)
Clone the toolkit repository
Clone the Polyspace Agentic Toolkit from MathWorks' GitHub repository to your local machine.
git clone https://github.com/mathworks/polyspace-agentic-toolkit.git
cd polyspace-agentic-toolkitSet the POLYSPACE_ROOT environment variable
Point POLYSPACE_ROOT at your Polyspace as You Code installation directory. This is required for the MCP server to locate the analysis binaries.
export POLYSPACE_ROOT="/path/to/polyspace-as-you-code"Add the MCP server to Claude Code
Register the Polyspace MCP server with Claude Code using the plugin marketplace command, or add it manually to your MCP configuration.
claude plugin marketplace add "https://github.com/mathworks/polyspace-agentic-toolkit"
claude plugin install polyspace-as-you-code@polyspace-agentic-toolkitCreate a project configuration file
Add a CLAUDE.md file at your repository root with project-specific Polyspace settings. This file is auto-loaded by Claude Code to provide context for analysis.
# Polyspace Configuration
- Coding standard: MISRA C 2012
- Build system: CMake
- Source root: ./srcConfigure the MCP server manually (alternative)
If you prefer manual configuration, add the server to your MCP client config with the Polyspace root path as an argument.
{
"mcpServers": {
"polyspace": {
"command": "node",
"args": [
"/path/to/polyspace-agentic-toolkit/build/index.js",
"--polyspace-root", "/path/to/polyspace-as-you-code",
"--log-level", "info"
]
}
}
}Run your first analysis
Ask your AI agent to analyze a file for coding standard violations. The agent will invoke run_polyspace_as_you_code and report findings.
Polyspace Examples
Client configuration
MCP client configuration for the Polyspace Agentic Toolkit with Polyspace installation path.
{
"mcpServers": {
"polyspace": {
"command": "node",
"args": [
"/path/to/polyspace-agentic-toolkit/build/index.js",
"--polyspace-root", "/path/to/polyspace-as-you-code",
"--log-level", "info"
],
"env": {
"POLYSPACE_ROOT": "/path/to/polyspace-as-you-code"
}
}
}
}Prompts to try
Natural language prompts for AI-assisted static analysis with Polyspace.
- "Make this file compliant with MISRA C 2012"
- "Check that my recent changes are compliant with our coding standard"
- "Run Polyspace on src/motor_control.c and fix the findings"
- "Configure build options for my CMake project"
- "Justify this finding with an entry from the justification catalog"
- "What does Polyspace checker RTE-OVFL check for?"Troubleshooting Polyspace
Agent reports 'POLYSPACE_ROOT not set' or cannot find Polyspace binaries
Ensure POLYSPACE_ROOT is set to the correct Polyspace as You Code installation directory and exported to the environment before starting your MCP client. Verify by running $POLYSPACE_ROOT/bin/polyspace-as-you-code --version in your terminal.
Analysis runs but finds no violations even on obviously non-compliant code
Use configure_checkers_for_polyspace to verify which coding standard and checkers are active. The agent may need to configure build options first via configure_build_options_for_polyspace before running analysis — ask the agent to set up the project before analyzing.
Toolkit plugin install fails in Claude Code
If the marketplace command is unavailable, manually clone the repository and add the server to your ~/.claude/claude_desktop_config.json. Alternatively, ask the agent 'Set up the Polyspace Agentic Toolkit' after cloning — the toolkit includes setup instructions it can execute.
Frequently Asked Questions about Polyspace
What is Polyspace?
Polyspace is a Model Context Protocol (MCP) server that polyspace agentic toolkit brings trusted polyspace capabilities to ai agents. It connects AI assistants to external tools and data sources through a standardized interface.
How do I install Polyspace?
Follow the installation instructions on the Polyspace GitHub repository. Clone the repo, install dependencies, and add the server config to your AI client.
Which AI clients work with Polyspace?
Polyspace works with all major MCP-compatible AI clients including Claude Desktop, Claude Code, Cursor, VS Code (GitHub Copilot), Windsurf, and Cline.
Is Polyspace free to use?
Yes, Polyspace is open source and available under the NOASSERTION license. You can use it freely in both personal and commercial projects.
Polyspace Alternatives — Similar Coding Agents Servers
Looking for alternatives to Polyspace? Here are other popular coding agents servers you can use with Claude, Cursor, and VS Code.
Dify
★ 142.2kProduction-ready platform for agentic workflow development.
Ruflo
★ 54.0k🌊 The leading agent orchestration platform for Claude. Deploy intelligent multi-agent swarms, coordinate autonomous workflows, and build conversational AI systems. Features enterprise-grade architecture, self-learning swarm intelligence, RAG integrat
Goose
★ 45.7kan open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Antigravity Awesome Skills
★ 38.3kInstallable GitHub library of 1,400+ agentic skills for Claude Code, Cursor, Codex CLI, Gemini CLI, Antigravity, and more. Includes installer CLI, bundles, workflows, and official/community skill collections.
AgentScope
★ 25.5kBuild and run agents you can see, understand and trust.
Serena
★ 24.5kA coding agent toolkit that provides IDE-like semantic code retrieval and editing tools, enabling LLMs to efficiently navigate and modify codebases using symbol-level operations instead of basic file reading and string replacements.
Browse More Coding Agents MCP Servers
Explore all coding agents servers available in the MCPgee directory. Each server includes setup guides for Claude, Cursor, and VS Code.
Set Up Polyspace in Your Editor
Choose your AI client for step-by-step setup instructions.
Quick Config Preview
Add this to your claude_desktop_config.json or .cursor/mcp.json
Ready to use Polyspace?
Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.