Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment.
Run the underlying MCP server directly — without Agent-CoreX routing.
npx -y cervellaswarmAgent-CoreX intelligently routes which tools from rafapra3008/cervellaswarm your AI agent actually needs per request — reducing token usage and cost.
agent-corex.json
{
"mcpServers": {
"cervellaswarm": {
"command": "npx",
"args": [
"-y",
"cervellaswarm"
]
}
}
}Connect in 2 minutes. Only pay for the tools your agent actually uses.
Recommended: intelligent tool routing, lower costs
uvx agent-corex mcp add cervellaswarmAgent-CoreX selects only the tools your agent needs, cutting token usage by up to 60%.
Use rafapra3008/cervellaswarm directly without routing
npx -y cervellaswarmNew to Agent-CoreX? View setup guide →