consensus-protocol-library
// Reference implementations and specifications of consensus protocols
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nameconsensus-protocol-library
descriptionReference implementations and specifications of consensus protocols
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
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
- Protocol Selection: Choose appropriate consensus protocol
- Specification Review: Understand protocol specification
- Property Verification: Verify safety and liveness
- Comparison: Compare protocols for use case
- Implementation: Guide implementation decisions
Tools/Libraries
- TLA+ specifications
- Reference implementations
- Protocol documentation