Check linearizability of concurrent data structure implementations
Verifies concurrent data structure correctness through linearizability testing and proof construction.
npx claudepluginhub a5c-ai/babysitterThis skill is limited to using the following tools:
Provides expert guidance on verifying linearizability of concurrent data structures through testing and proof.
Activates when the user asks about AI prompts, needs prompt templates, wants to search for prompts, or mentions prompts.chat. Use for discovering, retrieving, and improving prompts.
Search, retrieve, and install Agent Skills from the prompts.chat registry using MCP tools. Use when the user asks to find skills, browse skill catalogs, install a skill for Claude, or extend Claude's capabilities with reusable AI agent components.
This skill should be used when the user wants to "create a skill", "add a skill to plugin", "write a new skill", "improve skill description", "organize skill content", or needs guidance on skill structure, progressive disclosure, or skill development best practices for Claude Code plugins.