claude-plugin

Listed

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

plugin 2 stars 0 forks Updated 1 months ago NOASSERTION

Install

Plugins install via a marketplace, in two steps.

Step 1

Step 2

Quality Score: 39/100

Stars 20%

16

Recency 20%

75

Manifest 20%

0

Documentation 15%

0

Issue Health 10%

80

License 10%

100

Description 5%

100

Details

Author: in8finity
Repository: in8finity/claude-plugin
Created: 2 months ago
Last Updated: 1 months ago
Language: Alloy
License: NOASSERTION

Listed in marketplaces

morozov-claude-plugin