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 内で実行してください。最初のコマンドで marketplace を一度追加し、2 番目のコマンドでプラグインをインストールします。
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 プラグインを更新または削除するにはどうすればよいですか？
shell で claude plugin update formal-model-checking@netresearch-claude-code-marketplace を使用して更新するか、/plugin の Installed タブから行ってください。削除するには /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace を使用してください。