Plugin Claude Code
Bundles 4 skills · 741 tokens together
Formal modeling and hypothesis-driven debugging using Alloy 6 and Dafny. Includes formal-modeling (write, run, and interpret Alloy 6 or Dafny models for state machines, data invariants, API contracts, permission matrices, and business rules — with reconciliation and enforcement-audit workflow) and formal-debugger…
not rated 3 5mo ago A
tokens not measured