What problem does it solve?
This Skill enforces evidence-backed distributed systems design and implementation by ensuring all coordination decisions are grounded in established academic literature, battle-tested systems, or formally verified specifications, preventing novel or uncited coordination logic.
Core Features & Use Cases
- Design Mode: Validates proposed distributed systems patterns against locked decisions and anti-patterns, producing structured decision records with mandatory citations.
- Implementation Mode: Audits code for coordination patterns, emitting inline audit reports detailing invariants, references, violation scenarios, and verification methods.
- Use Case: When proposing a new sharding strategy, this Skill will verify it against existing locked decisions (e.g., shard ranges), check for anti-patterns (e.g., assuming clock synchronization), and require a citation from academic literature or a proven system.
Quick Start
Use the dist-sys-auditor skill to audit a new distributed systems design proposal.