🔌

formal-methods

🔌Plugin

in8finity/claude-plugin

Installation

Add marketplace in Claude Code:

$/plugin marketplace add in8finity/claude-plugin

Step 2. Install plugin:

$/plugin install formal-methods@morozov-claude-plugin

What it does

Formal modeling and hypothesis-driven debugging using Alloy 6 and Dafny formal verification

🏪

Part of

in8finity/claude-plugin

Last UpdatedMay 10, 2026

View on GitHub Back to Plugins

More from this repository1

🏪

in8finity/claude-plugin🏪Marketplace

A Claude Code plugin that brings formal verification and hypothesis-driven debugging to your workflow using [Alloy 6](https://alloytools.org/) and [Dafny](https://dafny.org/).