Плагин 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.
Как установить плагин formal-model-checking
Выполните обе команды в Claude Code. Первая один раз добавляет маркетплейс; вторая устанавливает плагин.
/plugin marketplace add netresearch/claude-code-marketplace
/plugin install formal-model-checking@netresearch-claude-code-marketplaceОбновить, выключить или удалить
- Обновить плагин (shell)
- claude plugin update formal-model-checking@netresearch-claude-code-marketplace
- Обновить marketplace
- /plugin marketplace update netresearch-claude-code-marketplace
- Временно выключить
- /plugin disable formal-model-checking@netresearch-claude-code-marketplace
- Удалить
- /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace
Вопросы о плагине formal-model-checking
Как установить плагин formal-model-checking?
В Claude Code выполните /plugin marketplace add netresearch/claude-code-marketplace, затем /plugin install formal-model-checking@netresearch-claude-code-marketplace.
Как обновить или удалить плагин formal-model-checking?
Обновите его с помощью claude plugin update formal-model-checking@netresearch-claude-code-marketplace в вашем shell или на вкладке Installed в /plugin. Удалите его с помощью /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace.