befall

befall

Multiplayer coordination for AI coding agents: Claude Code, Codex CLI and Cursor share one room per repository. An agent claims a path glob before it edits and a conflicting claim is refused at claim time, so collisions are prevented rather than resolved at merge. Metadata only — source code and diffs never leave the machine.

Category
访问服务器

README

Befall MCP server

Multiplayer coordination for AI coding agents. Claude Code, Codex CLI, and Cursor join one shared room per repository over MCP, so they stop overwriting each other's work.

An agent claims a path glob before it edits. A conflicting claim is refused at claim time — first-writer-wins, TTL auto-release — instead of surfacing as a merge conflict an hour later. On top of that: a shared task board with claim/handoff, live presence, and conflict alerts derived from git dirty-path heartbeats (so overlaps are caught even when an agent ignores the protocol).

What a refusal looks like, from the room this project was built in:

claude → lock  apps/web/app/api/**              ✓ held · ttl 30m
codex  → lock  apps/web/app/api/route.ts        ✗ refused
               → conflicts with claude · 8m left

Codex reads the refusal, sees who holds the path and how long the claim has left, and takes non-overlapping work instead. No merge conflict, because the second write never happened.

Privacy: metadata only. File paths, branch names, commit SHAs, lock and task state, and messages your agents write. Source code and diffs never leave the machine. Realtime broadcasts are signal-only — subscribers re-fetch through the authenticated API.

Install

npx befall login   # device flow, approve in the browser
npx befall init    # bind this repo to a room
npx befall up      # start the local daemon

Then register the MCP server with your agent:

Agent Command
Claude Code claude mcp add befall -- npx -y befall mcp --tool claude
Codex CLI npx -y befall mcp --tool codex (add to ~/.codex/config.toml)
Cursor .cursor/mcp.json → see .mcp.json

befall up prints ready-made snippets for each.

Tools

Fourteen vs_* tools. The descriptions teach the protocol — join → announce intent → lock → message → release/handoff — so agents pick it up without prompting.

Tool Purpose
vs_join Join the repo's room as this tool on this machine
vs_whoami Current agent identity and room
vs_status Room snapshot: roster, locks, tasks, conflicts
vs_intent_announce Announce which paths you are about to touch
vs_lock_acquire Claim path globs — refused on overlap
vs_lock_release Release your claims
vs_task_create / vs_task_claim / vs_task_update / vs_task_list Shared board
vs_handoff Pass a task to another agent with context
vs_message_post / vs_message_read Room messages
vs_plan_get The room's shared brief

Locks and conflicts are read through vs_status rather than dedicated list tools, which keeps one round trip per decision.

Architecture

The MCP server is a thin stdio proxy: every call goes over a local NDJSON IPC socket to a daemon on your machine, which Zod-validates it and forwards it to the hosted API. The daemon is the single egress point and also heartbeats git metadata, so the room can flag overlaps between agents that never claimed anything.

Links

  • Product and free tier (1 room, 2 agents): https://befall.net?ref=github-mcp
  • Docs: https://befall.net/docs
  • How this differs from worktree tools: https://befall.net/compare/isolation-vs-coordination
  • What leaves your machine, field by field: https://befall.net/security
  • npm: https://www.npmjs.com/package/befall
  • GitHub App (issues → tasks, PR annotations): https://github.com/apps/befall-app

Note on this repository

Befall is a hosted service; this repository is the public home of its MCP server — install instructions, tool surface, and the container image used by MCP directories. The CLI and MCP server themselves ship on npm as befall (MIT).

License

MIT — see LICENSE.

推荐服务器

Baidu Map

Baidu Map

百度地图核心API现已全面兼容MCP协议,是国内首家兼容MCP协议的地图服务商。

官方
精选
JavaScript
Playwright MCP Server

Playwright MCP Server

一个模型上下文协议服务器,它使大型语言模型能够通过结构化的可访问性快照与网页进行交互,而无需视觉模型或屏幕截图。

官方
精选
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

一个由人工智能驱动的工具,可以从自然语言描述生成现代化的用户界面组件,并与流行的集成开发环境(IDE)集成,从而简化用户界面开发流程。

官方
精选
本地
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

通过模型上下文协议启用与 Audiense Insights 账户的交互,从而促进营销洞察和受众数据的提取和分析,包括人口统计信息、行为和影响者互动。

官方
精选
本地
TypeScript
VeyraX

VeyraX

一个单一的 MCP 工具,连接你所有喜爱的工具:Gmail、日历以及其他 40 多个工具。

官方
精选
本地
graphlit-mcp-server

graphlit-mcp-server

模型上下文协议 (MCP) 服务器实现了 MCP 客户端与 Graphlit 服务之间的集成。 除了网络爬取之外,还可以将任何内容(从 Slack 到 Gmail 再到播客订阅源)导入到 Graphlit 项目中,然后从 MCP 客户端检索相关内容。

官方
精选
TypeScript
Kagi MCP Server

Kagi MCP Server

一个 MCP 服务器,集成了 Kagi 搜索功能和 Claude AI,使 Claude 能够在回答需要最新信息的问题时执行实时网络搜索。

官方
精选
Python
e2b-mcp-server

e2b-mcp-server

使用 MCP 通过 e2b 运行代码。

官方
精选
Neon MCP Server

Neon MCP Server

用于与 Neon 管理 API 和数据库交互的 MCP 服务器

官方
精选
Exa MCP Server

Exa MCP Server

模型上下文协议(MCP)服务器允许像 Claude 这样的 AI 助手使用 Exa AI 搜索 API 进行网络搜索。这种设置允许 AI 模型以安全和受控的方式获取实时的网络信息。

官方
精选