Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli
/plugin marketplace add https://www.claudepluginhub.com/api/plugins/jmf-pobox-z-spec/marketplace.json/plugin install jmf-pobox-z-spec@cpd-jmf-pobox-z-specUpstash Context7 MCP server for up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your LLM context.
Complete collection of battle-tested Claude Code configs from an Anthropic hackathon winner - agents, skills, hooks, and rules evolved over 10+ months of intensive daily use
Helps write internal communications including 3P updates, company newsletters, FAQs, status reports, and project updates using company-specific formats.
Downloads videos from YouTube and other platforms for offline viewing, editing, or archival with support for various formats and quality options.