sim-run
CommunityRun deterministic simulation tests
Software Engineering#testing#simulation#distributed systems#coordination#fault injection#invariant verification
Authorahrav
Version1.0.0
Installs0
System Documentation
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.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: sim-run Download link: https://github.com/ahrav/Gossip-rs/archive/main.zip#sim-run Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.