agentsclimarketplace
Sign in

Consensus protocol library

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/consensus-protocol-library

Reference implementations and specifications of consensus protocolsFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill consensus-protocol-library

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.3 KB, 144 tokens by cl100k_base, as published. Nobody here has run it

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

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.