What is a bisimulation game in this context?

It is a formal framework where an 'Attacker' tries to distinguish between two systems and a 'Defender' attempts to maintain equivalence, ensuring identical behavior across different AI agents.

How does GF(3) conservation improve reliability?

It uses ternary logic (-1, 0, 1) to create mathematical invariants during state transitions, allowing the 'Arbiter' to verify that synchronization hasn't introduced logic errors.

Which AI agents can this skill synchronize?

The protocol is designed to disperse and sync skills across Claude, Cursor, and Codex, using a centralized source of truth for all agentic capabilities.

What is an observational bridge?

An observational bridge is a synchronization strategy that maps capabilities between different versions of a skill, ensuring that newer versions remain compatible with older agent observations.

Bisimulation Game Agent Sync

Name: Bisimulation Game Agent Sync
Author: plurigrid

byplurigrid

•

开发者工具

Synchronizes and verifies skill dispersal across multiple AI agents using GF(3) ternary logic and observational equivalence.

The Bisimulation Game is a specialized Claude Code skill designed for resilient synchronization of capabilities across various AI environments like Claude, Cursor, and Codex. By implementing a formal bisimulation framework—where systems are considered equivalent if they are observationally indistinguishable—it ensures that skill updates are propagated consistently and verified using GF(3) conservation laws. This skill is ideal for developers managing multi-agent workflows who require high-integrity state transitions, automated conflict resolution, and self-rewriting protocol capabilities via MCP tasks.

主要功能

01Observational bridge types for seamless version-aware synchronization

02Multi-agent skill dispersal across Claude, Cursor, and Codex environments

037 GitHub stars

04Multi-dimensional conflict resolution using 2D-cubical merging strategies

05GF(3) ternary conservation for rigorous state transition verification

06Self-rewriting capabilities integrated with the MCP Tasks protocol

使用场景

01Verifying the behavioral equivalence of different agent implementations or complex state machines

02Synchronizing custom AI prompts and skills across multiple IDE extensions and local environments

03Automating the discovery and propagation of new AI agent skills from web resources

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi bisimulation-game

For use in Claude.ai and ChatGPT

Download Skill