jepsen-testing
OfficialAutomate and debug Jepsen tests for distributed systems correctness.
Authorfrogdb
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates and simplifies the process of running, debugging, and interpreting Jepsen tests for distributed systems, enabling efficient correctness verification.
Core Features & Use Cases
- Automated Test Execution: Run Jepsen tests on various topologies (single-node, replication, Raft cluster) with ease.
- Docker Topology Management: Manage Docker-based topologies for different test scenarios.
- Interpretation and Analysis: Provide detailed analysis of Jepsen results, including linearizability, serializability, and consistency checks.
- Use Case: With this Skill, you can quickly verify the correctness of your distributed database system by running Jepsen tests on it and interpreting the results.
Quick Start
Run the Jepsen test for the 'register' workload on a single-node topology with a 30-second time limit using the 'just' command:
just jepsen register --time-limit 30
Dependency Matrix
Required Modules
jepsendockerpythonredis
Components
scriptsreferencesassets
💻 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: jepsen-testing Download link: https://github.com/frogdb/frogdb/archive/main.zip#jepsen-testing 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 620,000+ vetted skills library on demand.