Implement conflict-free replicated data types with deterministic merge semantics.
npx skills add https://github.com/plurigrid/asi --skill crdt
Please help me install this Agent Skill. Skill: crdt Source: https://github.com/plurigrid/asi/tree/main/skills/crdt Command: npx skills add https://github.com/plurigrid/asi --skill crdt
This Skill provides conflict-free replicated data types (CRDTs) with bidirectional lens optics for distributed state, enabling safe merges and concurrent updates.
Create a CRDT, mutate it, and merge states across replicas, then verify properties.
High-intent search queries and answers about installing and using this skill.
CRDTs (conflict-free replicated data types) enable safe merges by ensuring all replicas converge to the same state through commutative, associative operations. This Skill provides LWW Registers, counters, sets, and text CRDTs with deterministic merge semantics that eliminate manual conflict resolution.
This Skill includes LWW Register for last-write-wins semantics, G-Counter and PN-Counter for monotonic and signed counts, OR-Set for concurrent additions and removals, and Text CRDT for collaborative editing. Each type guarantees idempotence, commutativity, and associativity across replicas.
Vector clocks record the causal history of updates across replicas, enabling the Skill to verify that concurrent operations merge correctly and detect which updates preceded others. They support incremental updates and ensure merge verification satisfies ordering constraints.
Yes. This Skill implements play (forward) and coplay (backward) semantics via Open Games API, enabling bidirectional lens optics for composable state transformations. This supports flexible data access patterns while maintaining merge properties.
CRDTs guarantee both replicas automatically converge to the same final state without coordination. The Skill's merge semantics are commutative and associative, so the order of updates doesn't matter—both paths produce identical results.
pradyumnasagarAutomate inter-skill data transfer and provenance capture via JSON Material Passports.
quanngynxImplement decoupled event-driven communication with subscribe, unsubscribe, and notify operations.
EthansuttorSynchronize distributed replicas using Delta-State CRDTs with causal ordering.
hung-phanCompare Paxos, Multi-Paxos, Raft, and EPaxos consensus algorithms.
