← Browse
herlihy
88plug ★ 0
Herlihy is a Claude Code plugin that injects a concurrency checklist via a PreToolUse hook whenever you edit code containing locks, atomics, CAS, fetch-add, thread spawns, channels, or CUDA syncs, grounding each edit in Herlihy's published work on consensus numbers, linearizability, and progress guarantees. The plugin includes a bundled skill with the full theoretical corpus and carefully tracks which techniques (hazard pointers, Michael-Scott queues, EBR) originated elsewhere to prevent misattribution.
Install
> /plugin marketplace add 88plug/herlihy
> /plugin install herlihy
What it's made of
1 command · 1 skill · 2 hooks
- Commands
- 1
- Agents
- 0
- Skills
- 1
- MCP servers
- 0
- Hooks
- 2 · PreToolUse, SessionStart
What it needs & plugs into
- API keys
- none
- Paid services
- none detected
- External tools
bash- Talks to
- nothing external detected
Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.
Is this your plugin?
Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (88plug).