Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli
npx claudepluginhub punt-labs/claude-plugins --plugin z-specAudit test coverage for Z specification constraints
Animate and model-check a B machine with probcli
Type-check a B machine with probcli
Create a B machine from description or translate an existing Z spec
Create or verify a B refinement machine
Type-check a Z specification with fuzz
Remove Z specification tooling files from project
Create a Z specification for stateful entities in a system
Generate runtime contracts (preconditions, postconditions, invariants) from a Z specification
Check Z specification environment health
Elaborate a Z specification with narrative from design documentation
Show Z specification plugin help and quick reference
Generate code from a Z specification
Generate property-based test harness using Lean 4 model as oracle
Derive test cases from Z specification using TTF testing tactics
Generate Lean 4 proof obligations from a Z specification
Verify code refines Z specification via abstraction function and commutativity checks
Install and configure fuzz, probcli, and lean dependencies
Validate and animate a Z specification with probcli
Comprehensive PR review agents specializing in comments, tests, error handling, type design, code quality, and code simplification
Comprehensive skill pack with 66 specialized skills for full-stack developers: 12 language experts (Python, TypeScript, Go, Rust, C++, Swift, Kotlin, C#, PHP, Java, SQL, JavaScript), 10 backend frameworks, 6 frontend/mobile, plus infrastructure, DevOps, security, and testing. Features progressive disclosure architecture for 50% faster loading.
Complete collection of battle-tested Claude Code configs from an Anthropic hackathon winner - agents, skills, hooks, rules, and legacy command shims evolved over 10+ months of intensive daily use
Upstash Context7 MCP server for up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your LLM context.
Semantic search for Claude Code conversations. Remember past discussions, decisions, and patterns.