formal-model-checking Plugin
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.
So installierst du das formal-model-checking Plugin
Führe beide Befehle in Claude Code aus. Der erste fügt den Marketplace einmalig hinzu; der zweite installiert das Plugin.
/plugin marketplace add netresearch/claude-code-marketplace
/plugin install formal-model-checking@netresearch-claude-code-marketplaceAktualisieren, deaktivieren oder entfernen
- Plugin aktualisieren (shell)
- claude plugin update formal-model-checking@netresearch-claude-code-marketplace
- marketplace aktualisieren
- /plugin marketplace update netresearch-claude-code-marketplace
- Vorerst deaktivieren
- /plugin disable formal-model-checking@netresearch-claude-code-marketplace
- Entfernen
- /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace
Fragen zum formal-model-checking Plugin
Wie installiere ich das formal-model-checking Plugin?
Führe in Claude Code /plugin marketplace add netresearch/claude-code-marketplace aus, dann /plugin install formal-model-checking@netresearch-claude-code-marketplace.
Wie aktualisiere oder entferne ich das formal-model-checking Plugin?
Aktualisiere es mit claude plugin update formal-model-checking@netresearch-claude-code-marketplace in deiner shell oder über den Installed-Tab von /plugin. Entferne es mit /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace.