Plugin 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.
Cara install plugin formal-model-checking
Jalankan kedua perintah di dalam Claude Code. Perintah pertama menambahkan marketplace sekali; perintah kedua meng-install plugin.
/plugin marketplace add netresearch/claude-code-marketplace
/plugin install formal-model-checking@netresearch-claude-code-marketplaceUpdate, matikan, atau hapus
- Update plugin (shell)
- claude plugin update formal-model-checking@netresearch-claude-code-marketplace
- Refresh marketplace
- /plugin marketplace update netresearch-claude-code-marketplace
- Matikan untuk sementara
- /plugin disable formal-model-checking@netresearch-claude-code-marketplace
- Hapus
- /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace
Pertanyaan tentang plugin formal-model-checking
Bagaimana cara install plugin formal-model-checking?
Di Claude Code, jalankan /plugin marketplace add netresearch/claude-code-marketplace, lalu /plugin install formal-model-checking@netresearch-claude-code-marketplace.
Bagaimana cara update atau menghapus plugin formal-model-checking?
Update dengan claude plugin update formal-model-checking@netresearch-claude-code-marketplace di shell Anda, atau dari tab Installed di /plugin. Hapus dengan /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace.