🏪

in8finity/claude-plugin

🏪Marketplace

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

Add this Marketplace

Add marketplace in Claude Code:

/plugin marketplace add in8finity/claude-plugin

1Plugins

Last UpdatedJun 18, 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