formal-methods
Formal modeling and hypothesis-driven debugging using Alloy 6 and Dafny formal verification
Plugin formal-methods from marketplace morozov-claude-plugin in in8finity/claude-plugin. Commands read from the repo's manifest — 1 month ago.
What it installs
Skills (4)
formal-debugger-harness-textualEXPERIMENTAL — UNDER TESTING. Unstable variant; behaviour and gates may change without backwards-compatible migration. Structured bug investigation using textual formal models for hypothesis-driven debugging, with hashharness MCP storage as the append-only backend (textual-only variant of formal-deb
formal-debugger-harnessStructured bug investigation using formal models for hypothesis-driven debugging, with hashharness MCP storage as the append-only backend (experimental variant of formal-debugger). Builds scoped Alloy models (normative rules, data constraints, causal chains, observability) to generate distinguishing
formal-debuggerStructured bug investigation using formal models for hypothesis-driven debugging. Builds scoped Alloy models (normative rules, data constraints, causal chains, observability) to generate distinguishing experiments and narrow the causality cone around a symptom. Use whenever the user reports a bug, i
formal-modelingWrite, run, and interpret Alloy 6 formal models for software systems, business processes, and skill/workflow design. Use this skill whenever the user asks to model, verify, or prove properties about state machines, lifecycle flows, data invariants, API contracts, integration boundaries, permission s
Maintain formal-methods?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.