Plugin formal-model-checking

netresearch/claude-code-marketplace90 étoiles

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.

Commandes

Agents

Skills

Hooks

Serveurs MCP

Comment installer le plugin formal-model-checking

Exécutez les deux commandes dans Claude Code. La première ajoute la marketplace une seule fois ; la seconde installe le plugin.

Claude Code

/plugin marketplace add netresearch/claude-code-marketplace
/plugin install formal-model-checking@netresearch-claude-code-marketplace

Mettre à jour, désactiver ou supprimer

Mettre à jour le plugin (shell): claude plugin update formal-model-checking@netresearch-claude-code-marketplace
Actualiser le marketplace: /plugin marketplace update netresearch-claude-code-marketplace
Le désactiver pour le moment: /plugin disable formal-model-checking@netresearch-claude-code-marketplace
Le supprimer: /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace

Questions sur le plugin formal-model-checking

Comment installer le plugin formal-model-checking ?

Dans Claude Code, exécutez /plugin marketplace add netresearch/claude-code-marketplace, puis /plugin install formal-model-checking@netresearch-claude-code-marketplace.

Comment mettre à jour ou supprimer le plugin formal-model-checking ?

Mettez-le à jour avec claude plugin update formal-model-checking@netresearch-claude-code-marketplace dans votre shell, ou depuis l'onglet Installed de /plugin. Supprimez-le avec /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace.