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.
Cross-referenced across 55 tracked directories
#54259
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
10/4/2026
Created
1
GitHub Stars
1
Open Issues
11/5/2026
Last Commit
Recently added to the ecosystem
anton_ov
A Model Context Protocol server for PostgreSQL database operations
kansei-link
Intelligence layer for discovering and orchestrating Japanese SaaS MCP tools (AEO)
cammac-creator
IBAN validation, BIC/SWIFT lookup, SEPA compliance and risk scoring. 121K+ BICs.
dpflucas
An MCP server that provides read-only access to MySQL databases.