concurrency-debugging SKILL.md skillA

concurrency-debugging from outlinedriven/outline-driven-development is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add outlinedriven/outline-driven-development/concurrency-debugging@git:20260905.fd53e99

Pins git:20260905.fd53e99 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
outlinedriven/outline-driven-development
Path
.devin/skills/concurrency-debugging/SKILL.md
Versions recorded
1
Latest version
git:20260905.fd53e99, committed Sep 5, 2026
Size
6,576 bytes
Repository stars
55
License
Apache-2.0

Use when reading TSan race reports, debugging deadlocks with GDB thread inspection, analyzing Helgrind lock-order violations, or reviewing std::atomic and happens-before usage.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Concurrency debugging

## Contract

| Field | Bound contract |
|---|---|
| Trigger | A ThreadSanitizer or Helgrind report needs reading, a process hangs in a suspected deadlock, `std::atomic` usage needs review, or a cross-thread access needs a happens-before justification. |
| Authority | Read-only. Emits analysis and commands for the operator to run on the target; no file writes, no rollback needed. No remote mutation. |
| Side effect | Diagnostic commands and a verdict in chat. Nothing is written. |
| Done | The race or deadlock is named by its two conflicting accesses or its lock cycle, the fix is stated, and the verification run is described. |

## Inputs

1. Symptom (required): a TSan or Helgrind report, a hung or deadlocked process, or code under review.
2. Build access (required for TSan and Helgrind): the project rebuilds with a sanitizer flag or runs under Valgrind.
3. Source (required): the code paths named in the report.

## Procedure

1. Detect the race with ThreadSanitizer. TSan ships inside GCC and Clang; it needs no separate install.

   ```bash
   gcc -fsanitize=thread -g -O1 -o prog main.c    # clang takes the same flags
   ./prog
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add outlinedriven/outline-driven-development/concurrency-debugging@sha256:4e2313e5b3f4a236

The line at the top of this page pins the label git:20260905.fd53e99, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_a2rvfmhac3ubfb4v.svg)](https://markdownregistry.com/a/art_a2rvfmhac3ubfb4v)

5 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 1 version of this file, committed on Sep 5, 2026.

versioncommittedcommitsizeaudit
git:20260905.fd53e99 latest2026-09-05 fd53e99 6,576 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (6576 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

outlinedriven/outline-driven-development · 55 stars · license Apache-2.0 · pushed 2026-09-28 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_a2rvfmhac3ubfb4v
GET https://markdownregistry.com/api/v1/resolve?ref=outlinedriven/outline-driven-development/concurrency-debugging
GET https://markdownregistry.com/api/v1/blob/4e2313e5b3f4a2369e11d369caf97741c837227782e64b230c78959e1757f586

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from outlinedriven/outline-driven-development

abi-and-calling-conventions SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/abi-and-calling-conventions/SKILL.md · Use when explaining System V AMD64, ARM AAPCS, RISC-V psABI, stack frames, variadic calls, or FFI register rules. Not…
git:20260905.e0ca87e · audit A · 55 stars
abstract-well SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/abstract-well/SKILL.md · Use when the user wants to classify abstractions as useful, bad, or busy and keep one shallow level. Not for tasks…
git:20260905.1f63894 · audit A · 55 stars
adc-dac-baremetal SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/adc-dac-baremetal/SKILL.md · Use when configuring ADC sampling time, DMA-driven ADC, calibration, or DAC channel setup on bare-metal MCUs. Not for…
git:20260912.5c5b759 · audit A · 55 stars
address-sanitizer SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/address-sanitizer/SKILL.md · Use when building or running native code under AddressSanitizer, interpreting an existing ASan report, or debugging a…
git:20260905.1f63894 · audit A · 55 stars
af-xdp SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/af-xdp/SKILL.md · Use when creating AF_XDP sockets, configuring UMEM and XSK rings, writing an XDP redirect program, or choosing copy…
git:20260912.07a8a1b · audit A · 55 stars
agent-environment-retrospective SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/agent-environment-retrospective/SKILL.md · Use when a completed session needs an agent-environment retrospective. Not for an engineering retrospective from…
git:20260905.1f63894 · audit A · 55 stars
agent-surface-forge SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/agent-surface-forge/SKILL.md · Use when asked to audit or repair agent surfaces (plugins, agents, skills, CLAUDE.md/AGENTS.md, docs, prompts…
git:20260905.1f63894 · audit A · 55 stars
agent-transcript SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/agent-transcript/SKILL.md · Use when a redacted, trimmed agent transcript must be appended to a GitHub PR or issue body, with human approval and…
git:20260905.1f63894 · audit A · 55 stars
agents-md SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/agents-md/SKILL.md · Use when a repo needs agent setup, AGENTS.md added or made lean, CLAUDE.md audited, or agent instructions scored or…
git:20260905.1f63894 · audit A · 55 stars
ai-collab-protocols SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/ai-collab-protocols/SKILL.md · Use when the user describes an AI workflow gap or uses an ambiguous cross-session reference such as ''the PR Bob…
git:20260912.5c5b759 · audit A · 55 stars
all-scenarios-storm SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/all-scenarios-storm/SKILL.md · Use when a user wants to enumerate plausible designs, configurations, scenarios, and paths and diagram the field before…
git:20260905.1f63894 · audit A · 55 stars
analysis-artifacts SKILL.md skill
outlinedriven/outline-driven-development · .devin/skills/analysis-artifacts/SKILL.md · Use when the user requests a deep dive, exploratory analysis, or data analysis on BigQuery. Not for credential…
git:20260912.5c5b759 · audit A · 55 stars

Every file in outlinedriven/outline-driven-development

Browse by kind, by grade A, or by owner.