distributed-audit

What problem does it solve?

This Skill provides a thorough correctness audit for distributed systems, identifying concurrency bugs, replication correctness, failover safety, and more.

Core Features & Use Cases

• Correctness Audit: Identifies concurrency bugs, replication correctness, failover safety, and more.
• Audit Tiers: Offers Quick Assessment, Focused Audit, and Full Report tiers for different levels of change scope.
• Risk Domains: Checks for shard-local concurrency, cross-shard atomicity, persistence, replication, cluster topology, failover, client-observable consistency, and pub/sub routing.
• Fault Scenarios: Analyzes potential fault scenarios including timing faults, crash faults, network faults, resource exhaustion, protocol faults, and concurrency faults.
• Testing Strategy: Recommends existing test suites and new tests for various risk domains and fault scenarios.
• Output Templates: Provides Quick Assessment, Focused Audit, and Full Report templates for outputting audit results.
• Design Review Mode: Offers guidance for auditing design documentation instead of code.
• Reference File Pointers: Points to relevant documentation for invariants, fault taxonomy, testing patterns, and more.

Quick Start

Trigger an audit by executing: /distributed-audit