🏪

in8finity/claude-plugin

🏪Marketplace

Add this Marketplace

Add marketplace in Claude Code:

$/plugin marketplace add in8finity/claude-plugin

What it does

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/).

1Plugins

Last UpdatedMay 10, 2026

Plugins in this Marketplace

🔌

formal-methods

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

View on GitHub Back to Marketplaces