From asi
Enables collaborative terminal session sharing using CRDT-style s-expressions with Emacs vterm bridge, Babashka recording/replay, and P2P multicast via localsend.
npx claudepluginhub plurigrid/asi --plugin asiThis skill uses the workspace's default tool permissions.
Collaborative terminal session sharing using CRDT-style s-expressions with GF(3) trifurcated conflict resolution.
Demonstrates Ewig text editor using immutable data structures, single-atom architecture in C++ with immer and lager. Useful for CRDTs, collaborative editing, persistent state patterns.
Spawns a new Claude Code session in a separate terminal for parallel tasks, optionally sharing context like git branch, task summary, and key files. Use to multitask without losing current progress.
Builds minimal C terminal emulators using libghostty-vt for VT parsing, state, and rendering API, with Raylib for windowing. Covers init, PTY input, keyboard, and render state wiring.
Share bugs, ideas, or general feedback.
Collaborative terminal session sharing using CRDT-style s-expressions with GF(3) trifurcated conflict resolution.
crdt-vterm-bridge.elvterm_crdt_recorder.bbvterm_localsend_share.bb┌──────────────────────────────────────────────────────────────────┐
│ CRDT-VTerm System │
├──────────────────────────────────────────────────────────────────┤
│ │
│ ┌─────────┐ remote-insert ┌───────────────┐ │
│ │ vterm │ ───────────────────▶ │ shadow buffer │ │
│ │ PTY │ (GF3 trit) │ (crdt.el) │ │
│ └────┬────┘ └───────┬───────┘ │
│ │ │ │
│ │ script(1) │ sexp file │
│ ▼ ▼ │
│ ┌─────────┐ ┌───────────────┐ │
│ │ raw log │ │ .sexp log │ │
│ └────┬────┘ └───────┬───────┘ │
│ │ │ │
│ │ vterm_crdt_recorder.bb │ localsend UDP │
│ ▼ ▼ │
│ ┌─────────────────────────────────────────────────┐ │
│ │ P2P Peer Network │ │
│ │ ┌───────┐ ┌───────┐ ┌───────┐ │ │
│ │ │ MINUS │ │ERGODIC│ │ PLUS │ ← GF(3) │ │
│ │ └───────┘ └───────┘ └───────┘ routing │ │
│ └─────────────────────────────────────────────────┘ │
└──────────────────────────────────────────────────────────────────┘
;; Session header
(crdt-terminal-session
(version "0.1.0")
(session-id "T-abc123")
(site-id 42)
(gf3-assignment :ERGODIC))
;; Terminal output
(remote-insert "0a1b2c3d" 42 "$ ls -la\n"
(props :type :terminal-output
:trit :MINUS
:timestamp 1234567890))
;; User input
(remote-input "0a1b2c3e" 42 "ls -la"
(props :trit :PLUS
:timestamp 1234567891))
;; Conflict resolution
(conflict-resolution
:type :concurrent-input
:strategy :gf3-ordering)
bb vterm_crdt_recorder.bb record session.sexp
bb vterm_crdt_recorder.bb replay session.sexp 2.0
bb vterm_localsend_share.bb share output.sexp 192.168.1.5
M-x crdt-vterm-replay RET session.sexp RET 1.0 RET
Multi-user input is routed through three queues:
| Queue | Trit | Processing Order |
|---|---|---|
| MINUS | -1 | First |
| ERGODIC | 0 | Second |
| PLUS | +1 | Third |
This prevents conflicts in "no-longer-optimistic waiting" scenarios by deterministically ordering concurrent inputs.
;; Cycle through queues
(crdt-vterm-trifurcate-cycle)
Each terminal session gets a deterministic color based on session ID.
P2P discovery and file transfer for session sharing.
Terminal sessions can be indexed in DuckDB for time-travel queries.
gay-mcp - Deterministic colorsspi-parallel-verify - GF(3) conservationtriad-interleave - Three-stream schedulingbisimulation-game - Session equivalenceThis skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
distributed-systems: 3 citations in bib.duckdbThis skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.