orocommerce
claudeOroCommerce development guidance covering entities, datagrids, REST API, workflows, frontend, security, integration, and bundle scaffolding. By Netresearch.
14 skills
91
claudecodex
formal-model-checking
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.
/
Plugin formal-model-checking from marketplace netresearch-claude-code-marketplace in netresearch/claude-code-marketplace. Commands read from the repo's manifest — 3 days ago.
What it installs
Skills (1)
formal-model-checkingUse when checking finite-state specifications of concurrency, persistence, retries or recovery; when asked for model checking or TLA+/TLC; or when systematic exploration of interleavings and failures is needed for a specific invariant. Not for routine unit tests, ordinary bug fixes or whole-program
More from netresearch/claude-code-marketplace
All 43 plugins →orocommerce-skills
codexOroCommerce v6.1 development and testing guidance — entities, grids, API, workflows, frontend, security, integration, bundle scaffolding, plus Behat integration/e2e/debugging, PHPUnit functional testing, k6 performance, and CI/CD pipelines
14 skills
91
github-release
claudecodexSafe, automated GitHub releases with supply chain security. Prevents dangerous gh release commands, orchestrates version bumps, signed tags, and CI-driven releases across ecosystems.
1 skill · 3 commands · hooks
91
jira
codexComprehensive Jira integration with auto-detection of issue keys
3 skills · hooks
91
jira-integration
claudeComprehensive Jira integration with auto-detection of issue keys. Two specialized skills: jira-communication for API operations and jira-syntax for wiki markup validation and templates.
3 skills · hooks
91
matrix-communication
claudecodexAgentic Skill for Matrix chat communication. Send messages to Matrix rooms on behalf of users via access token authentication. Works with any Matrix homeserver.
3 skills · 1 command
91
Similar plugins
superpowers
claudecodexCore skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
obra/superpowers 316,836
context7
claudecodexUp-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
upstash/context7 64,709
cli-anything
claudeBuild powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.
5 commands
HKUDS/CLI-Anything 58,665
agent-browser
claudeAutomates browser interactions for web testing, form filling, screenshots, and data extraction
12 skills
vercel-labs/agent-browser 50,373
Open Code Review
codexUse Alibaba Open Code Review from local Codex.
2 skills
alibaba/open-code-review 50,068
slidev
claudeClaude Code skill for creating and presenting Slidev slidedecks
1 skill
slidevjs/slidev 49,452
Maintain formal-model-checking?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex plugins43 plugins