dist-sys-auditor

Audit distributed systems designs and code against locked decisions and citations.

1|Updated Feb 12, 2026
One-click install
npx skills add https://github.com/ahrav/Gossip-rs --skill dist-sys-auditor
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: dist-sys-auditor
Source: https://github.com/ahrav/Gossip-rs/tree/main/.claude/skills/dist-sys-auditor
Command: npx skills add https://github.com/ahrav/Gossip-rs --skill dist-sys-auditor

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

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.

Frequently Asked Questions about dist-sys-auditor

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I audit distributed systems design proposals against academic literature?

Distributed systems design auditing validates proposed coordination patterns against locked architectural decisions and anti-patterns, requiring mandatory citations from academic literature or battle-tested systems to produce structured decision records.

What's the best way to verify gossip protocol implementation in Rust?

Gossip protocol implementation verification audits Rust code for coordination patterns, emitting inline reports detailing invariants, references, violation scenarios, and verification methods against locked architectural decisions.

Can I use this auditing skill for both design and implementation modes?

Yes, this distributed systems auditor operates in Design Mode to validate proposals with structured decision records and Implementation Mode to audit code with inline reports detailing invariants and references.

Why does my distributed systems design proposal require citations?

Distributed systems design proposals require citations to enforce evidence-backed coordination decisions, preventing novel or uncited coordination logic by grounding all patterns in established academic literature or formally verified specifications.

When do I need evidence-backed coordination decisions for distributed systems?

Evidence-backed coordination decisions are required when proposing new distributed systems patterns like sharding strategies, where the auditor checks for anti-patterns such as assuming clock synchronization and validates against existing locked decisions.

What anti-patterns does this distributed systems auditor check for?

This distributed systems auditor checks for anti-patterns like assuming clock synchronization when proposing coordination logic, validating proposals against locked architectural decisions and requiring citations from proven systems.