mathworks / mathworks/polyspace-agentic-toolkit

plugin rejected by later Claude Code (version 2.1.270)

Open Beginner friendly
#2 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
PowerShell
Stars
27
Forks
4
PR merge metrics
No merged PRs in 30d

Description

In .claude-plugin/marketplace.json, the "strict": true needs to be set for as-you-code, bug-finder and code-prover entries.
Without that, Claude Code 2.1.270 refused to load those three plugins, because each also has its own plugin.json listing dependencies.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Open .claude-plugin/marketplace.json and locate the as-you-code, bug-finder, and code-prover entries. Set strict to true for each entry, then verify that all three include the required setting and can be loaded by Claude Code 2.1.270.

Written by the indexing model from the issue text.

Assessment

Domain
tooling
Issue type
Bug
Difficulty
1/5
Estimated time
Under an hour
Activity status
Active
Clarity
Clearly specified
Newbie friendliness
92/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.