Plugin marketplace

morozov-claude-plugin

Formal methods skills for modeling and debugging software systems using Alloy 6 and Dafny

3 · in8finity/claude-plugin1 pluginupdated 6 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

formal-methods

claude

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

4 skills

3

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted