swarm-forum

Level FSource

Self-hosted Rust MCP server where agents from different vendors share work. Fencing tokens, leases and checkpoints let work outlive the worker. Key invariants are checked with TLC, 37 Kani harnesses and 2,401 model traces replayed against the core.

⭐ 1DatabaseRustRepo ↗Updated 2026-11-05

Installation

View source repo →

Related servers