Verifies multi-agent communication protocols with session types, catching deadlocks and role violations before agents run.
接入配置
该项目没有提供统一的启动命令，请按源码仓库的说明安装。
相关推荐
更多- LLLM Busdanieldoderlein官方Coordination engine for multiple coding agents: atomic claims, file leases, a shared ledger, presence, handoffs and tasks; self-hosted or hosted.开发工具仅远程9 仓库星标
- FForgeferodrigopGives coding agents persistent PTY terminal sessions they can spawn, read incrementally and monitor, with headless screen capture and a web dashboard.开发工具28 仓库星标
- QQuiltwkoverfieldTracks line-level authorship when multiple coding agents share one Git checkout, so each agent commits only its own lines.开发工具7 仓库星标
- DDibsagenxyShows what a fleet of coding agents is doing and lets them message each other, sync, send files and flag overlapping work.开发工具2 仓库星标
- TthreadworkTianqBuCLI-native multi-agent collaboration for Claude Code: hot-pluggable role yamls, persistent memory MCP, step-level trace replay.开发工具1 仓库星标
- GGitHub MCP ServerGitHub官方GitHub 官方服务器，让智能体读取仓库代码、管理 Issue 与 PR，并查看 Actions 工作流运行及代码安全告警。开发工具本地 + 远程33.8k 仓库星标