concurrency-reasoning SKILL.md skillA
concurrency-reasoning from annatchijova/skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add annatchijova/skills/concurrency-reasoning@git:20260815.52bfd00Pins git:20260815.52bfd00 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- annatchijova/skills
- Path
concurrency-reasoning/SKILL.md- Versions recorded
- 1
- Latest version
- git:20260815.52bfd00, committed Aug 15, 2026
- Size
- 12,696 bytes
- Repository stars
- 9
- License
- a license file GitHub does not identify
Reason about concurrent execution in terms of shared mutable state, invariants, and happens-before ordering — not in terms of "adding a lock" or "it works on my machine". Use whenever code can run more than once at a time: threads, async tasks, goroutines, workers, multiple processes or replicas, retries, webhooks, cron jobs, signal handlers, or a user who double-clicks. Trigger on "race condition", "thread-safe", "add a mutex", "deadlock", "it only fails under load", "it worked locally…
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 Reasoning Concurrency bugs are not hard because concurrency is exotic. They are hard because the reasoning most people apply is about **simultaneity** — "two things happening at the same time" — and the actual subject is **ordering and visibility**. Simultaneity is not observable, not reproducible, and not what breaks. Ordering is. The second reason they are hard: the failing interleaving is rare, so the test passes, the review passes, and the defect ships with full confidence behind it. A concurrency bug is a defect whose evidence is *statistical*, in a discipline that treats a green test as proof. Composes with: `atomic-state-mutation` (the same problem confined to a database transaction), `falsifiable-testing` (a flake is often a race reporting itself), `incident-timeline-reconstruction` (no global clock, same lesson), `irreversible-action-gate` (check-then-act is TOCTOU), `deterministic-core` (nondeterminism you did not choose). --- ## Part 1 — Name the shared mutable state, or stop A data race needs exactly three ingredients: 1. **State reachable from more than one execution context** 2. **Concurrent access to it** 3. **At least one write** …
Read the whole file at its exact version.
How to install
mdr add annatchijova/skills/concurrency-reasoning@sha256:cce54bf5d1e6e914The line at the top of this page pins the label git:20260815.52bfd00, 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.
[](https://markdownregistry.com/a/art_yui4gjukbr3j5qbr)
2 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 1 version of this file, committed on Aug 15, 2026.
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (12696 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
annatchijova/skills · 9 stars · license a license file GitHub does not identify · pushed 2026-11-02 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_yui4gjukbr3j5qbr GET https://markdownregistry.com/api/v1/resolve?ref=annatchijova/skills/concurrency-reasoning GET https://markdownregistry.com/api/v1/blob/cce54bf5d1e6e9149c4d96156fa8efef6e53ec8858bfa6d092fa4db4069822ba
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.