jamie8johnson

Interleaving Auditor — Development agent for Claude Code

Development community

Concurrency adversary - finds an interleaving where two individually-correct operations, run concurrently, leave a shared invariant broken.

How to install Interleaving Auditor

Installs to ~/.claude/agents/jamie8johnson-cqs-interleaving-auditor.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/jamie8johnson/cqs/HEAD/.claude/agents/interleaving-auditor.md -o ~/.claude/agents/jamie8johnson-cqs-interleaving-auditor.md

Restart Claude Code, or start a new session, for it to be picked up.

What Interleaving Auditor does

name: interleaving-auditor description: Concurrency adversary - finds an interleaving where two individually-correct operations, run concurrently, leave a shared invariant broken. Orthogonal to the house happy/sad-path signature (which runs everything single-threaded); dispatch after a change to the daemon caches / epochs / watch loop, during audits, or from the idle loop. Writes loom models and stress harnesses; the deliverable is a reproducing interleaving (a race) or a durable concurrency

Alternatives in Development

Surveyor — You are a specialized reviewer for migrations and upgrades 3.6k ★
Lex Legal — Use this agent when dealing with legal and compliance activities 523 ★
Review Concurrency — Reviews code changes for concurrency defects found by multi-thread interleaving reasoning: race conditions, vi 432 ★