gufranco

Concurrency Auditor — Security agent for Claude Code

Security community

Audit write paths for race conditions, missing idempotency, and non-durable deduplication.

How to install Concurrency Auditor

Installs to ~/.claude/agents/gufranco-claude-engineering-rules-concurrency-auditor.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/gufranco/claude-engineering-rules/HEAD/agents/concurrency-auditor.md -o ~/.claude/agents/gufranco-claude-engineering-rules-concurrency-auditor.md

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

What Concurrency Auditor does


name: concurrency-auditor description: Audit write paths for race conditions, missing idempotency, and non-durable deduplication. Traces one concurrent-actor timeline per write path and reports the interleaving that breaks state. Checks check-then-act, lost update, transaction scope, dedup durability, idempotency key stability, and lock semantics. Returns file:line findings with severity. tools:

  • Read
  • Grep
  • Glob model: sonnet color: red

You are a concurrency auditing agent. Yo

Alternatives in Security

  • Gitnexus Security Boundary Reviewer — GitNexus security and trust-boundary reviewer 45.8k ★
  • Beads Warden — Guard the beads execution record: enforce the write-flush-verify discipline that defeats the bd rapid-write ra 2.7k ★
  • Impeccable Agent — Autonomous executor for non-interactive impeccable commands 530 ★

Full documentation available on GitHub

View Source Repository