OpenSkillIndex← back to search
claude-codescience

Babysitter consensus-protocol-library

Reference implementations and specifications of consensus protocols

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/computer-science/skills/consensus-protocol-library" ~/.claude/skills/a5c-ai-babysitter-consensus-protocol-library && rm -rf "$T"
manifest: library/specializations/domains/science/computer-science/skills/consensus-protocol-library/SKILL.md
tags
#consensus-protocols#distributed-systems#protocol-design#specifications#blockchain#paxos
source content

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