morozov-claude-plugin
A Claude Code plugin that brings formal verification and hypothesis-driven debugging to your workflow using [Alloy 6](https://all…
A Claude Code plugin that brings formal verification and hypothesis-driven debugging to your workflow using Alloy 6 and Dafny.
Contains
1 plugin.
Install
/plugin marketplace add in8finity/claude-plugin
Then browse and install with /plugin install.
Source
Repository: https://github.com/in8finity/claude-plugin
Maintain morozov-claude-plugin?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[morozov-claude-plugin on getagentictools](https://getagentictools.com/plugins/in8finity-morozov-claude-plugin?ref=badge) Related plugins
yager-plugins Automated error detection and prevention for Claude Code via hooks
cenadros-plugins Claude Code plugin marketplace by Cenadros.
debuginn-skills ai skill tools
forge-marketplace Forge plugin marketplace for skill-driven planning, execution, debugging, and packaged subagents.
databricks-axi Databricks CLI built for AI agents. Compact TOON output, lean default schemas, and errors that say what to try next. Runs on top…
jakoerror-research Claude Code skills for research workflows