mathworks/polyspace-agentic-toolkit

The Polyspace Agentic Toolkit brings trusted Polyspace capabilities to AI agents.

These files are mathworks/polyspace-agentic-toolkit's own configuration. They tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.