Verifies multi-agent communication protocols with session types, catching deadlocks and role violations before agents run.
Setup
This project documents no single launch command; follow its repository instructions.
Lingua Universale MCP Server
rafapra3008
Related
More- LLLM BusdanieldoderleinOfficialCoordination engine for multiple coding agents: atomic claims, file leases, a shared ledger, presence, handoffs and tasks; self-hosted or hosted.Developer ToolsRemote only9 Repository stars
- FForgeferodrigopGives coding agents persistent PTY terminal sessions they can spawn, read incrementally and monitor, with headless screen capture and a web dashboard.Developer Tools28 Repository stars
- QQuiltwkoverfieldTracks line-level authorship when multiple coding agents share one Git checkout, so each agent commits only its own lines.Developer Tools7 Repository stars
- DDibsagenxyShows what a fleet of coding agents is doing and lets them message each other, sync, send files and flag overlapping work.Developer Tools2 Repository stars
- TthreadworkTianqBuCLI-native multi-agent collaboration for Claude Code: hot-pluggable role yamls, persistent memory MCP, step-level trace replay.Developer Tools1 Repository stars
- GGitHub MCP ServerGitHubOfficialGitHub's official server for reading repositories, managing issues and pull requests, and inspecting Actions runs and security alerts.Developer ToolsLocal + remote33.8k Repository stars