b formal method mcp for Claude Code

io.github.mrfentmen/b-formal-method-mcp

B (Formal Method) MCP: real tools for real work.

client:Claude Code transport:stdio runtime:npm

Install b formal method mcp in Claude Code

run in your project directory

claude mcp add b-formal-method-mcp -- npx -y @mrfentmen/b-formal-method-mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs