Loading
Event B
io.github.mrfentmen
Event-B MCP: 20 real tools to read, check, lint, scaffold, build and run Event-B code.
Power your agent
Add this server
The publisher's own command. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
Local command
npx -y @mrfentmen/[email protected]Claude Code has no install link for a local command. Copy the command below and run it in a terminal.
shClaude Code
claude mcp add io.github.mrfentmen-event-b-mcp -- npx -y @mrfentmen/event-b-mcp@1.0.0Run in a terminal.
jsonClaude Desktop
{ "mcpServers": { "io.github.mrfentmen-event-b-mcp": { "command": "npx", "args": [ "-y", "@mrfentmen/[email protected]" ] } }}claude_desktop_config.json
Local · npmPublisher installStep-by-step: add this in Claude
Remote URL or a command on your machine? How the two installs differ
Run on PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
LaunchServer facts
Local- Transport
- stdio
- Version
- 1.0.0
- Last checked
From the publisher
Documentation
README is not crawled yet. Open the repository
Event-B MCP: 20 real tools to read, check, lint, scaffold, build and run Event-B code.
