formal-model-checking eklentisi
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 eklentisi nasıl yüklenir
Her iki komutu da Claude Code içinde çalıştırın. Birincisi pazaryerini bir kez ekler; ikincisi eklentiyi yükler.
/plugin marketplace add netresearch/claude-code-marketplace
/plugin install formal-model-checking@netresearch-claude-code-marketplaceGüncelleyin, kapatın veya kaldırın
- Eklentiyi güncelleyin (shell)
- claude plugin update formal-model-checking@netresearch-claude-code-marketplace
- marketplace'i yenileyin
- /plugin marketplace update netresearch-claude-code-marketplace
- Şimdilik kapatın
- /plugin disable formal-model-checking@netresearch-claude-code-marketplace
- Kaldırın
- /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace
formal-model-checking eklentisi soruları
formal-model-checking eklentisini nasıl yüklerim?
Claude Code içinde /plugin marketplace add netresearch/claude-code-marketplace, ardından /plugin install formal-model-checking@netresearch-claude-code-marketplace çalıştırın.
formal-model-checking eklentisini nasıl güncellerim veya kaldırırım?
Shell üzerinde claude plugin update formal-model-checking@netresearch-claude-code-marketplace ile güncelleyin veya /plugin altındaki Yüklü sekmesinden yapın. /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace ile kaldırın.