formal methods plugins

juxt/allium

Plugin Claude Code

Velocity through clarity.

younes-io/agent-skills

Plugin Claude Code

Plugin marketplace listing 1 plugin: tla-workbenches.

younes-io/agent-skills

Plugin Claude Code

TLA+ skills for checking specs and writing proofs.

cognitive-fab/polygraph

Plugin Claude Code

Plugin marketplace listing 2 plugins: polygraph, polyviz.

cognitive-fab/polygraph

Plugin Claude Code

A polygraph for your state machine. The agent does the hard part for you: it instruments your code, builds any test doubles needed to run it, and captures real execution traces — then has an LLM derive a transition-function spec from the source (default: a SAM v2 strict-profile module with named…

cognitive-fab/polygraph

Plugin Claude Code

A deterministic, artifact-derived diagram renderer for Polygraph. Turns the artifacts the suite already produces — the state machine, the invariants, the counterexample, the polyvers compat verdict — into a fixed catalog of clean, brand-consistent SVGs (optional PNG). Same inputs → byte-identical output; no model call.

punt-labs/z-spec

Plugin Claude Code

Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.

kotaroyamame/formal-agent-contracts

Plugin Claude Code

Plugin marketplace listing 1 plugin: formal-agent-contracts.

kotaroyamame/formal-agent-contracts

Plugin Claude Code

Formal methods toolkit for multi-agent development: define agent contracts in VDM-SL, generate Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verify specifications, auto-prove with Z3, derive database schemas (DDL) with deviation tracking and invariant traceability, generate code scaffolds with runtime…