outlmd

Crdt Invariant Checker — Development agent for Claude Code

Development community

Validates that changes in outl-core preserve the tree CRDT invariants (convergence, idempotency, no-cycle, no-silent-loss).

How to install Crdt Invariant Checker

Installs to ~/.claude/agents/outlmd-outl-crdt-invariant-checker.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/outlmd/outl/HEAD/.claude/agents/crdt-invariant-checker.md -o ~/.claude/agents/outlmd-outl-crdt-invariant-checker.md

Restart Claude Code, or start a new session, for it to be picked up.

What Crdt Invariant Checker does

name: crdt-invariant-checker description: Validates that changes in outl-core preserve the tree CRDT invariants (convergence, idempotency, no-cycle, no-silent-loss). Use PROACTIVELY after any edit in crates/outl-core/src/tree/, log.rs, op.rs, or in tree CRDT tests. Rejects PRs that break any invariant. tools: Read, Grep, Glob, Bash model: opus

CRDT Invariant Checker

You are the guardian of the outl tree CRDT. Your only job: make sure changes in `outl-core` do **not** break the formal

Alternatives in Development

Algorithm Expert — RL algorithm expert 5.7k ★
Ir Correctness Reviewer — Reviews Slang IR pass changes for correctness, SSA invariants, and type system integrity 5.6k ★
Crispener — Refactoring operator that absorbs invariants from business logic into existing schemas — decode/guard-wall del 73 ★