consensus-protocol-library

Solid

Reference implementations and specifications of consensus protocols

AI & Automation 1,160 stars 71 forks Updated today MIT

Install

View on GitHub

Quality Score: 94/100

Stars 20%
100
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
38
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill 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

Details

Author
a5c-ai
Repository
a5c-ai/babysitter
Created
4 months ago
Last Updated
today
Language
JavaScript
License
MIT

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Listed

distributed-consensus

Distributed consensus algorithms and logical time for cloud and multi-node systems. Covers Lamport clocks, vector clocks, FLP impossibility, Paxos (basic, multi, fast), Raft, Viewstamped Replication, Byzantine fault tolerance basics, quorum reads/writes (N/R/W), leader election, and TLA+ specification style. Use when designing replicated state machines, picking a consensus protocol, reasoning about split-brain and quorum loss, or writing formal specs for distributed coordination.

62 Updated today
Tibsfox
AI & Automation Solid

consensus-mechanisms

Multi-protocol consensus for agent swarms supporting Raft leader election, Byzantine fault tolerance, Gossip state propagation, and CRDT conflict-free merging.

1,160 Updated today
a5c-ai
AI & Automation Listed

principle-distributed-systems

Distributed systems principles — CAP, PACELC, consistency models (linearizable, causal, eventual, read-your-writes), consensus (Paxos, Raft), quorum, leader election, split-brain, replication, partitioning, gossip, logical clocks (Lamport, vector, hybrid), clock skew, delivery semantics (at-most-once, at-least-once, exactly-once effects), idempotency across nodes, two-generals problem, fallacies of distributed computing. Auto-load when reasoning about CAP/PACELC trade-offs, choosing a consistency model, designing consensus or leader election, sizing quorums, ordering events with logical clocks, distinguishing exactly-once delivery from exactly-once effects, designing replication or partitioning strategy, or assessing distributed failure modes.

2 Updated today
lugassawan
AI & Automation Listed

polis-protocol

Set up a self-optimizing multi-vendor AI agent team using the Polis Protocol — a markdown-based "small city" where each agent is a citizen with a signed capability card, tasks are structured contracts routed to whoever has the strongest track record by a learning bandit, settled contracts produce lessons that compound into team memory, and citizens can ratify amendments to the protocol itself. Use whenever several AI agents (Anthropic, OpenAI, Google, or any vendor) collaborate on one project and "who should do this" is a real question; when you want work routed to whichever model is best at it; when you want a team that measurably gets better over time; or to set up a new polis, register or join as a citizen, open, claim, or settle a contract, file a lesson, propose or vote on an amendment, run a chavruta review before a high-stakes irreversible action, troubleshoot a stalled contract or router pathology, override a routing recommendation, or migrate from a simpler shared-vault setup (e.g. agent-vault) to ad

4 Updated today
yehudalevy-collab
AI & Automation Solid

agent-consensus-coordinator

Agent skill for consensus-coordinator - invoke with $agent-consensus-coordinator

57,130 Updated today
ruvnet