Consensus Protocol Library

---
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
graph:
  domains: [domain:computer-science]
  specializations: [specialization:theoretical-computer-science]
  skillAreas: [skill-area:graph-algorithms, skill-area:mathematical-reasoning, skill-area:language-design]
  workflows: [workflow:research-grant-lifecycle]
  roles: [role:research-engineer, role:research-scientist]
---

# 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