Agent Coherence
About
Stop AI agents from silently overwriting each other's shared files — a single-host coherence guard, TLA+-verified.
Details
- Author
- Cohexa
- GitHub stars
- 10
- Downloads
- 403
- Categories
- Other
Jump to
- MESI single-writer ownership + invalidation — a stale write is denied fail-closed
- Optimistic commit-CAS for concurrent same-key writers
- Read-generation fence for crash-reclaimed writers
- Five safety invariants machine-checked in TLA+ (make tla-check in CI)
- MCP server (5 tools), LangGraph/CrewAI/AutoGen adapters, Claude Code plugin
Setting up with Highlight
This MCP is not yet compatible with Highlight’s one-click setup. However, you can still use it with Highlight by following these steps:
- Download and install Highlight from highlightai.com/download
- Navigate to the plugins tab and select "Add Custom Plugin"
-
Configure the plugin with the settings below
Plugin Name
Agent CoherenceCommand (node, npx, python, etc.)Please refer to the README for specific instructions on how to obtain API keys or other required environment variables.
- Enable "Start Automatically" if you want the plugin to start when Highlight launches
Claude Desktop / Cursor
Paste into your MCP client config file to install this server.
{
"mcpServers": {
"agent coherence": {
"stale-write-guard-fs": {
"command": "uvx",
"args": [
"--from",
"agent-coherence[mcp]",
"stale-write-guard-fs"
]
}
}
}
}McpServers
{
"stale-write-guard-fs": {
"command": "uvx",
"args": [
"--from",
"agent-coherence[mcp]",
"stale-write-guard-fs"
]
}
}Stop AI agents from silently overwriting each other's shared files — a single-host coherence guard, TLA+-verified.
Sign in to leave a review
Use Google, GitHub, or an email account so ratings stay tied to real people.
No reviews posted yet.
