agentmods.dev

punt-labs/z-spec

Creates, validates, and animates Z (and B) specifications from source and generates code from specifications

Open on GitHub
5Stars on the repository
56Mods indexed here, across every type
3d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 42 mods

audit

02

punt-labs/z-spec

Command

Part of z-spec-dev

Audit test coverage for Z specification constraints.

5 3d ago A 7 tokens copy · 89% MIT

b-create

08

punt-labs/z-spec

Command

Part of z-spec-dev

Create a B machine from description or translate an existing Z spec.

5 3d ago A 12 tokens copy · 94% MIT

contracts-dev

17

punt-labs/z-spec

Command

Part of z-spec-dev

Generate runtime contracts (preconditions, postconditions, invariants) from a Z specification.

5 3d ago A 17 tokens original MIT

contracts

18

punt-labs/z-spec

Command

Part of z-spec-dev

Generate runtime contracts (preconditions, postconditions, invariants) from a Z specification.

5 3d ago A 17 tokens copy · 98% MIT

elaborate

24

punt-labs/z-spec

Command

Part of z-spec-dev

Elaborate a Z specification with narrative from design documentation.

5 3d ago A 11 tokens copy · 100% MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: