punt-labs/z-spec

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

5Stars on the repository
56Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

adb

01

punt-labs/z-spec

Agent Claude Code

Infrastructure and platform engineer. Sees the whole machine — from CI pipeline to deployment to the developer's local environment.

5 2d ago A 25 tokens original MIT

adt

02

punt-labs/z-spec

Agent Claude Code

Product manager for grounding tools. Bridges formal methods and product value — makes rigorous specification practical.

5 2d ago A 20 tokens original MIT

dna

03

punt-labs/z-spec

Agent Claude Code

Cognitive scientist and design theorist. Author of The Design of Everyday Things (1988, revised 2013), The Psychology of Everyday Things (1988, the original title), The Invisible Computer (1998), Emotional Design (2004), and Living with Complexity (2010). Co-founder with Jakob Nielsen of the Nielsen Norman Group…

5 2d ago A 114 tokens original MIT

edt

04

punt-labs/z-spec

Agent Claude Code

UX designer and visual information specialist. Every pixel must earn its place.

5 2d ago A 16 tokens original MIT

gvr

05

punt-labs/z-spec

Agent Claude Code

Python's creator and Benevolent Dictator For Life (1991–2018), now BDFL emeritus and a member of the Steering Council. Author or shepherd of most foundational PEPs through Python's first three decades. Currently focused on the faster-cpython project at Microsoft.

5 2d ago A 61 tokens original MIT

jms

06

punt-labs/z-spec

Agent Claude Code

Z notation specialist. Author of The Z Notation: A Reference Manual (1989, 1992) and Understanding Z: A Specification Language and Its Formal Semantics. Author of the fuzz type-checker that defines what valid Z really means. Oxford academic.

5 2d ago A 62 tokens original MIT

jra

07

punt-labs/z-spec

Agent Claude Code

Formal methods specialist. Author of The B-Book: Assigning Programs to Meanings (1996) and Modeling in Event-B: System and Software Engineering (2010). Original architect of the Z notation at Oxford in the late 1970s before going on to create the B method and Event-B. Engineer by training, mathematician by necessity.

5 2d ago A 79 tokens original MIT

mdm

08

punt-labs/z-spec

Agent Claude Code

CLI specialist sub-agent. Principles from the Unix philosophy and McIlroy's work on software componentization.

5 2d ago A 24 tokens original MIT

rmh

09

punt-labs/z-spec

Agent Claude Code

Python specialist sub-agent. Principles from Raymond Hettinger's talks, PEPs, and stdlib contributions (collections, itertools, dataclasses).

5 2d ago A 32 tokens original MIT