Claude Code plugins
1 plugins from public Claude Code marketplaces. Each one bundles skills, slash commands, agents, hooks or MCP servers that install together.
› /plugin marketplace add netresearch/claude-code-marketplace
› /plugin install formal-model-checking@netresearch-claude-code-marketplace
1 plugins
Showing 1 plugins that match these filters. Clear filters
@netresearch-claude-code-marketplace · netresearch/claude-code-marketplace
Concurrency, retries and crashes can break invariants that ordinary tests miss. Check small finite-state models, retain counterexamples and bounds, and connect useful traces to implementation tests without claiming a whole-program proof.
0
commands
0
agents
0
skills
0
hooks
0
MCP servers
› /plugin install formal-model-checking@netresearch-claude-code-marketplace