MCP server Claude CodeCodexCursor +2
Vendor-neutral MESI + optimistic-concurrency coordinator for multi-agent state — a stale write is denied or returned as a typed conflict, never silently applied; safety invariants model-checked in TLA+. Runs locally from the agent-coherence Python package.
12 3d ago A
tokens not measured