name: consensus-protocol-library description: Reference implementations and specifications of consensus protocols allowed-tools:

• Bash
• Read
• Write
• Edit
• Glob
• Grep metadata: specialization: computer-science domain: science category: distributed-systems phase: 6

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