mathworks / mathworks/polyspace-agentic-toolkit
Enhancement: it could be great to make it clear that payc and polyspace should be installed under the same root
Nobody has claimed this yet.
- Dominant language
- PowerShell
- Stars
- 27
- Forks
- 4
- PR merge metrics
- No merged PRs in 30d
Description
In polyspace-agentic-toolkit-setup skill, it could be worthwhile to mention that payc and Polyspace Bug Finder, Code Prover and Test are assumed to be installed under the same root.
For users who still stick to typical default installation folders for PaYC under C:\Program Files\Polyspace As You Code\R2026a, the installation is confused because the agent has to choose a root, which doesn't cover all executables/skill-groups.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with skills-catalog/polyspace-agentic-toolkit-setup/SKILL.md at the “Check latest MCP server version” section. Update the installation guidance to state that PaYC and Polyspace Bug Finder, Code Prover, and Test must share a root, including the default PaYC installation-folder case; done means users know which root to choose for all executables and skill groups.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Active
- Clarity
- Clearly specified
- Newbie friendliness
- 88/100