Vibe Index
🔌

z-spec

🔌Plugin

punt-labs/claude-plugins

VibeIndex|
What it does
|

Formal Z specifications for stateful systems — generate, type-check, animate, and derive test cases with fuzz and ProB

🏪

Part of

punt-labs/claude-plugins

z-notationformal-methodsspecificationtestingfuzz

Installation

Add marketplace in Claude Code:
/plugin marketplace add punt-labs/claude-plugins
Step 2. Install plugin:
/plugin install z-spec@punt-labs
0
-
AddedJul 16, 2026
View on GitHubBack to Plugins

More from this repository10

🔌
biff🔌Plugin

UNIX-style team communication for Claude Code: /who, /finger, /plan, /write, /read, /mesg, /tty, /last, /wall, /talk

🔌
lux🔌Plugin

Visual output surface for Claude Code — display tables, charts, dashboards, and interactive elements in a native window

🔌
punt🔌Plugin

Punt Labs standards enforcement — init, audit, and LLM-powered reconciliation of workflows, configs, and project structure

🔌
ethos🔌Plugin

Identity binding for humans and AI agents — voice, email, GitHub, writing style, personality, skills

🏪
punt-labs/claude-plugins🏪Marketplace

Claude Code plugin marketplace for Punt Labs

🔌
dungeon🔌Plugin

A text adventure game engine for Claude Code — play scripted dungeon crawls powered by Claude as game master

🔌
quarry🔌Plugin

Local semantic search with automagic knowledge capture: /find, /ingest, /explain, /source, /quarry

🔌
beadle🔌Plugin

Autonomous agent daemon with email communication via Proton Bridge and PGP trust model

🔌
vox🔌Plugin

Voice for your AI coding assistant: /unmute, /mute, /vibe, /recap — hear when tasks finish or need input

🔌
prfaq🔌Plugin

Amazon Working Backwards PR/FAQ process — generate professional LaTeX documents for product discovery and decision-making