Agent-Skills.md

Agent Skills: Consensus Protocol Library

Reference implementations and specifications of consensus protocols

distributed-systemsID: a5c-ai/babysitter/consensus-protocol-library

Repository

a5c-ai/babysitter
a5c-aiLicense: MIT
244

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/consensus-protocol-library

Skill Files

Browse the full folder contents for consensus-protocol-library.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/consensus-protocol-library/SKILL.md

Skill Metadata

Name
consensus-protocol-library
Description
Reference implementations and specifications of consensus protocols

Consensus Protocol Library

Purpose

Provides expert guidance on consensus protocol design, analysis, and implementation for distributed systems.

Capabilities

  • Paxos, Raft, PBFT specifications
  • Protocol comparison matrix
  • Safety/liveness property templates
  • Message complexity analysis
  • Protocol variant catalog
  • Failure mode analysis

Usage Guidelines

  1. Protocol Selection: Choose appropriate consensus protocol
  2. Specification Review: Understand protocol specification
  3. Property Verification: Verify safety and liveness
  4. Comparison: Compare protocols for use case
  5. Implementation: Guide implementation decisions

Tools/Libraries

  • TLA+ specifications
  • Reference implementations
  • Protocol documentation