allium
01Plugin Claude Code
Bundles 7 skills, 5 agents, 2 hooks · 796 tokens together
Velocity through clarity.
not rated 513
+6
changed 19d ago A
tokens not measured
original MIT
Plugin Claude Code
Bundles 2 skills · 166 tokens together
TLA+ skills for checking specs and writing proofs.
not rated 21 3mo ago A
tokens not measured
original MIT
polygraph
03Plugin Claude Code
Bundles 6 skills, 5 commands, 4 agents, 1 plugin · 518 tokens together
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…
not rated 14 1mo ago A
tokens not measured
original Apache-2.0
z-spec-dev
04Plugin Claude Code
Bundles 42 commands, 1 hook · 400 tokens together
Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.
not rated 5
changed 1mo ago A
tokens not measured
original MIT
kotaroyamame/formal-agent-contracts
Plugin Claude Code
Bundles 15 skills · 2,346 tokens together
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…
not rated 1 1mo ago A
tokens not measured
copy · 92% MIT