sim-run

Executes deterministic simulation tests with progressive difficulty levels for distributed coordination systems.

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

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill automates the execution of deterministic simulation tests with progressive difficulty levels, helping to identify and fix coordination bugs in distributed systems.

Core Features & Use Cases

  • Progressive Difficulty: Run simulations across three levels: Sunny Day (basic checks), Stormy (fault injection), and Radioactive (maximum chaos).
  • Workload Selection: Choose from various workload templates to exercise specific coordination scenarios like lease expiry, split operations, and concurrent acquisitions.
  • Invariant Verification: Ensures critical invariants such as mutual exclusion, fence monotonicity, and shard coverage are maintained.
  • Use Case: Before merging a pull request that modifies the cluster's lease management logic, run a 'Stormy' level simulation with the 'Lease expiry during checkpoint' workload to ensure the system remains consistent under fault conditions.

Quick Start

Run the sim-run skill to execute level 2 simulations with 100 seeds.

Frequently Asked Questions about sim-run

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

FAQPage Schema
How do I run deterministic simulation tests for distributed coordination systems?

Deterministic simulation tests are automated by orchestrating seed management, workload selection, and progressive difficulty levels to validate distributed coordination systems under controlled fault injection scenarios like network partitions and lease expiry.

What invariants are verified during distributed system fault injection simulations?

Invariant verification checks that mutual exclusion, fence monotonicity, shard coverage, and terminal irreversibility are maintained during fault injection scenarios like network partitions, lease expiry, and storage corruption.

Can I test network partitions and lease expiry in distributed coordination simulations?

Yes, fault injection scenarios include network partitions, lease expiry, and storage corruption, allowing you to validate distributed coordination systems against specific workloads like lease expiry during checkpoint.

How do I simulate lease expiry during checkpoint operations?

Select the 'Lease expiry during checkpoint' workload template and run a 'Stormy' level simulation to test whether the distributed coordination system maintains consistency when lease expiry occurs during checkpoint operations.

What are the difficulty levels for running distributed system simulations?

Three progressive difficulty levels are supported: Sunny Day for basic checks, Stormy for fault injection scenarios, and Radioactive for maximum chaos, each exercising distributed coordination systems with increasing stress.

Do I need any dependencies to execute deterministic simulation tests?

No external dependencies are required. The Skill operates independently to orchestrate seed management, workload selection, and invariant verification for distributed coordination systems across all difficulty levels.