Plugin Claude Code
Plugin marketplace listing 1 plugin: formal-methods.
2 3mo ago A
tokens not measured
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
Skill Claude CodeCodex
EXPERIMENTAL — 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-debugger, no solver…
2 3mo ago A 248 tokens
Skill Claude CodeCodex
Structured 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 experiments and…
2 3mo ago A 192 tokens
Skill Claude CodeCodex
Structured 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, incident, or…
2 3mo ago A 159 tokens
Skill Claude CodeCodex
Write, 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 systems, or business…
2 3mo ago A 142 tokens