Plugin Claude Code
Plugin marketplace listing 1 plugin: formal-methods.
2 3mo ago A
tokens not measured
2Stars on the repository
6Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Plugin Claude Code
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…
2 3mo ago A
tokens not measured