claude

herlihy

Fires the wait-free/lock-free doctrine exactly when you touch concurrency code: a PreToolUse hook inspects Write/Edit content and, when it sees a lock, atomic, CAS, fetch-add, spawn, channel, or CUDA sync, injects (non-blocking) the Herlihy checklist — pick the primitive by consensus number, fix the linearization point, claim only the progress guarantee you can prove, choose reclamation by reader lifetime, know the impossibility walls. Primed once at SessionStart. Grounded in Herlihy's published corpus (consensus hierarchy, linearizability, universal construction, Pass-the-Buck), with the NOT-Herlihy attributions flagged.

1 on GitHubby 88plugv2026.7.2FSL-1.1-ALv2updated 23 days agoproductivity
/

Plugin herlihy from marketplace 88plug in 88plug/claude-code-plugins. Commands read from the repo's manifest — 23 days ago.

This plugin runs code on your machine — its hooks fire automatically on events like tool use. The exact commands are listed below; read them before installing.

What it installs

Skills (1)

  • herlihy

    Use when atomicizing any subsystem or removing a concurrency constraint — a lock, a Mutex/RwLock, a blocking wait, a serialization point, a step-barrier, a GIL-serialized scheduler. Triggers on "make this lock-free", "atomicize this", "rewrite this atomic", "which atomic primitive", "CAS or fetch-ad

Slash commands (1)

  • /herlihy:check

    Run the Herlihy wait-free/lock-free checklist on concurrency code.

Hooks (2)

  • SessionStart

    bash "${CLAUDE_PLUGIN_ROOT}/hooks/prime.sh"

  • PreToolUse

    bash "${CLAUDE_PLUGIN_ROOT}/hooks/gate.sh"

View source on GitHub

More from 88plug/claude-code-plugins

All 24 plugins →

total-recall

claudecodex

Cross-session, cross-CLI memory for AI coding assistants. Mines transcripts from 10 supported CLI clients. Surfaces operator identity / decisions / bans / corrections / goals / voice via 26 MCP tools, 6 hooks (SessionStart signpost + SessionStart compact-restore + UserPromptSubmit retrieval + Stop/PostCompact re-index + PreCompact continuity-seed), 15 slash commands, and 3 skills. Hybrid FTS5 + ollama dense recall (qwen3-embedding:0.6b, default-on; TOTAL_RECALL_EMBED_MODEL unset is correct). Product ollama auto-provisions refine (qwen3.5:2b; TOTAL_RECALL_LLM_PROVIDER=none to disable). Worktree-aware project scoping; post-compaction coding-continuity packet. The operator becomes the source of truth; the model stops re-asking what they already told it.

3 skills · 15 commands · 1 MCP server · hooks

1

Falsification-first investigation workflow: convert every assertion into a labeled falsifiable hypothesis, predict before measuring, run controlled experiments, verify findings adversarially (REFUTE-first), and persist verdicts in a hypothesis ledger so killed ideas are never re-attacked

1 skill · 7 commands · 5 agents · hooks

1

amnesia

claude

Seamless context continuity across Claude Code and Grok compaction. Multi-layer background capture (continuous tool-call capture, mechanical PostCompact handoff, async Opus 4.7 enrichment at --effort max, async Stop-hook refinement, and preemptive snapshot before the next compact) keeps the agent working state intact across every compaction and resume. All summarization is isolated from CLAUDE.md/auto-memory and invisible to the user.

1 skill · 8 commands · 1 agent · 1 MCP server · hooks

1

Ultra-compressed communication mode. Cuts ~75% of tokens while keeping full technical accuracy by speaking like a caveman.

7 skills · 3 agents · hooks

1

Detects when Claude drifts away from your active output contract (a terse persona, hard formatting/length rules, an in-character voice) and quietly steers it back. Each assistant turn is scored by a deterministic, dependency-free engine; a status-line badge shows live drift and the next prompt gets a one-shot correction nudge when the previous reply broke contract.

1 skill · 6 commands · 1 MCP server · hooks

1

A ground-first reflex: the agent judges (from its own training, any domain) when a request is complex/irreversible, grounds before acting, and is hard-blocked from the destructive step until it has.

1 skill · 6 commands · 1 agent · hooks

1

Similar plugins

caveman

claude

Talk like caveman. Cut filler. Keep technical details explicit.

22 skills · 1 command · 3 agents · hooks

JuliusBrussee/caveman 119,462

claude-mem

claudecodex

Persistent memory for Claude Code: the next session starts where the last one left off.

29 skills · 1 MCP server · hooks

thedotmack/claude-mem 116,618

Taste Skill

claudecodex

tasteskill 2.5.1: professional company websites at the figma.com and x.ai level, with one section per screen, real photographs, real product UI, effects kept for tech and gaming pages, and a real-browser checker and finish gate.

1 skill

Leonxlnx/taste-skill 114,391

career-ops

claudecodex

Open-source AI job search that runs locally in your AI coding CLI: scan job portals, evaluate listings into a structured A-H report with a 1-5 score, tailor your CV, track applications

5 skills · hooks

career-ops-hq/career-ops 82,253

mem0

claudecodex

Cross-session memory and token savings for coding agents.

6 skills · 1 agent · 1 MCP server · hooks

mem0ai/mem0 68,893

pake

claudecodex

Package any website or local web build into a lightweight desktop app with Pake CLI.

1 skill

tw93/Pake 63,463

Maintain herlihy?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins24 plugins