{"name":"in8finity-morozov-claude-plugin","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"in8finity-formal-methods","source":{"source":"github","repo":"in8finity/claude-plugin"},"description":"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 (structured bug investigation using formal models for hypothesis-driven root cause analysis).","version":"1.9.0","strict":true,"keywords":[],"category":"productivity"}]}