Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
git clone --depth 1 https://github.com/mathworks/polyspace-agentic-toolkitWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/plugins/mathworks/polyspace-agentic-toolkit/polyspace-code-prover)<a href="https://agentmods.dev/plugins/mathworks/polyspace-agentic-toolkit/polyspace-code-prover"><img src="https://agentmods.dev/badge/plugins/mathworks/polyspace-agentic-toolkit/polyspace-code-prover/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/plugins/mathworks/polyspace-agentic-toolkit/polyspace-code-prover"><img src="https://agentmods.dev/badge/plugins/mathworks/polyspace-agentic-toolkit/polyspace-code-prover.svg" alt="Reviewed on agentmods" width="80" height="20"></a>Grade A, and why
polyspace-code-prover scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 1mo ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
The source is not reproduced here
A licence we could not identify
The repository carries a LICENSE file, but it is custom or dual enough that GitHub cannot name it and neither can this catalogue. Unknown terms are not permission, so the body is not copied here. Read the licence at the source and decide for yourself.
What it installs
The manifest is a name and a version. 3 skills travel with it, and installing the plugin installs all of them — 282 tokens a session between them. Each is measured on its own page, and each can be installed alone.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 1mo ago First seen · 6 lines scan A a4ea68881476
polyspace-code-prover is a plugin published in the GitHub repository mathworks/polyspace-agentic-toolkit (28 stars, last pushed 1mo ago), with no licence file. Its token cost is not measured: this kind of file is read by the harness, not the model. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-09.
Other plugins, from other repositories
verification-validation-and-test
Author custom Model Advisor checks, run compliance reviews against industry standards (MISRA, MAB, ISO 26262, DO-178C, AUTOSAR, SLCI), author persistent, requirement-traceable Simulink Test cases, inject faults for robustness testing, perform safety analysis (FMEA, FHA, FTA), detect design errors with root cause…
code-generation
Prepare Simulink models for production code generation, including single-precision conversion, optimizing generated embedded code for runtime, memory, and MISRA compliance, configuring Embedded Coder deployment settings, and customizing A2L calibration files.
simulink-simulation
Create input signal datasets, import data into the Simulation Data Inspector, run multiple Simulink simulations and check Rapid Accelerator compatibility for Simulink model simulation.
control-systems
Control system design and analysis for Simulink models.
real-time-simulation-and-testing
Configure, deploy, and run Simulink models on real-time target computers with Simulink Real-Time.
model-based-design-core
Foundational Model-Based Design capabilities for the Simulink product family.