Polyspace MCP Server plugin for Codex
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.
How to install Polyspace MCP Server in Codex
1. Add the repo as a Codex plugin marketplace:
codex plugin marketplace add mathworks/polyspace-agentic-toolkit2. Install the plugin from it:
codex plugin add polyspace-agentic-toolkit@polyspace-agentic-toolkitThis repo ships a Codex marketplace file (.agents/plugins/marketplace.json). The first command adds it as a marketplace (Codex CLI reference); the second installs the plugin 'polyspace-agentic-toolkit'. 'polyspace-agentic-toolkit' is the marketplace name from that file. Check the repo README too. Command format: Codex CLI reference.
What it contains
Plugins in this marketplace (1)
polyspace-agentic-toolkit— 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.
About this listing
Polyspace MCP Server is a community plugin on GitHub by mathworks, tagged codex-plugin. It passed the CodexStacks quality filter (at least 10 stars, pushed in the last 180 days, not a fork, has a description and a manifest or README). OpenAI hasn't reviewed it and we haven't tested it. From its files we found 1 plugin. The manifest says version 1.3.0. It's one of 79 listings in the Developer Tools category (category assigned by CodexStacks from the repo's topics and description).
Get new Codex plugins like Polyspace MCP Server every week
The weekly CodexStacks drop: what's new and updated in the directory, in one short email.
You'll get a confirmation email first. Unsubscribe anytime.
Polyspace MCP Server FAQ
How do I install Polyspace MCP Server in Codex?
Add the repo as a Codex plugin marketplace with codex plugin marketplace add mathworks/polyspace-agentic-toolkit, then install it with codex plugin add polyspace-agentic-toolkit@polyspace-agentic-toolkit. Both use the command format from the Codex CLI reference; check the repo README too.
Is Polyspace MCP Server an official Codex plugin?
No. Polyspace MCP Server is a community repo on GitHub by mathworks. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it and we haven't tested it, so read the code before you install it.
What does Polyspace MCP Server include?
From its manifest and repo files, Polyspace MCP Server includes 1 plugin: polyspace-agentic-toolkit.
Details
- Type
- Plugin
- Category
- Developer Tools (assigned by us)
- Source
- Community
- Author
- MathWorks
- Version
- 1.3.0
- GitHub stars
- 27 (at last sync)
- Last push
- 2026-09-08
- Manifest
.agents/plugins/marketplace.json- GitHub topics
- agents-skills, claude-code, engineering-agents, github-copilot, mcp-tools, polyspace, static-analysis
- Source
- https://github.com/mathworks/polyspace-agentic-toolkit
- Listed via
- GitHub topic codex-plugin
- Tested by CodexStacks
- Not yet
Something wrong or missing? Submit or improve this listing. Listings also refresh automatically every night.
For maintainers: badge and embeds
Maintain Polyspace MCP Server? Add the badge; it links to this page.
Markdown
[](https://codexstacks.com/p/polyspace-agentic-toolkit/)HTML
<a href="https://codexstacks.com/p/polyspace-agentic-toolkit/"><img src="https://codexstacks.com/badge.svg" alt="Listed on CodexStacks" width="172" height="28"></a>Embed card (static HTML and inline CSS, no JavaScript). Preview:
<a href="https://codexstacks.com/p/polyspace-agentic-toolkit/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #3a2c26;border-radius:12px;background:#0d0b0a;color:#f3ece6;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#f3ece6">Polyspace MCP Server</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin · 1 plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Static analysis skills and MCP tools for C/C++ using Polyspace as You Code, Bug Finder, and Code Prover. Run analysis…</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>Markdown summary
**[Polyspace MCP Server on CodexStacks](https://codexstacks.com/p/polyspace-agentic-toolkit/)**: Community Codex plugin with 1 plugin.More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.
Also in Developer Tools
dashi-taskboard
现代化可灵活嵌入的任务面板，支持 Codex、DeepSeek Harness
pstack-claude
Claude Code, Codex, Copilot, Pi, OpenCode, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses.
Citadel Harness
Codex-native agent orchestration harness for durable campaigns, skills, hooks, telemetry, and parallel work.
AGY Staff
Delegate work to Google's Antigravity CLI (agy) with fast Gemini access - five personas: staffer (general), researcher, reviewer (code and plans), implementer, ask.
abide
Make your coding agent abide by all your project rules
zapier-mcp
Official plugin distribution for the hosted Zapier MCP server. Install it in your AI client and connect to thousands of apps.