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.
Cómo instalar el plugin formal-model-checking
Ejecuta ambos comandos dentro de Claude Code. El primero agrega el marketplace una vez; el segundo instala el plugin.
/plugin marketplace add netresearch/claude-code-marketplace
/plugin install formal-model-checking@netresearch-claude-code-marketplaceActualizar, desactivar o eliminar
- Actualizar el plugin (shell)
- claude plugin update formal-model-checking@netresearch-claude-code-marketplace
- Refrescar el marketplace
- /plugin marketplace update netresearch-claude-code-marketplace
- Desactivarlo por ahora
- /plugin disable formal-model-checking@netresearch-claude-code-marketplace
- Eliminarlo
- /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace
Preguntas sobre el plugin formal-model-checking
¿Cómo instalo el plugin formal-model-checking?
En Claude Code ejecuta /plugin marketplace add netresearch/claude-code-marketplace y luego /plugin install formal-model-checking@netresearch-claude-code-marketplace.
¿Cómo actualizo o elimino el plugin formal-model-checking?
Actualízalo con claude plugin update formal-model-checking@netresearch-claude-code-marketplace en tu shell, o desde la pestaña Installed de /plugin. Elimínalo con /plugin uninstall formal-model-checking@netresearch-claude-code-marketplace.