event b mcp for Cursor
io.github.mrfentmen/event-b-mcp
Event-B MCP: 20 real tools to read, check, lint, scaffold, build and run Event-B code.
client:Cursor
transport:stdio
runtime:npm
Install event b mcp in Cursor
~/.cursor/mcp.json · windows: %USERPROFILE%\.cursor\mcp.json
{
"mcpServers": {
"event-b-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@mrfentmen/event-b-mcp"
]
}
}
}Use .cursor/mcp.json in a project root instead to scope it to that project. Cursor merges both. Cursor docs