lookupd

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

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

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

Summary by lookupd

Lets an agent run formal-method tooling for the B specification language to check and verify models, covering analysis and proof tasks.

Install

Claude Code, npm package (stdio)

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

Codex, npm package (stdio)

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

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "b-formal-method": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/b-formal-method-mcp"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.mrfentmen/b-formal-method-mcp

[![lookupd status](https://lookupd.com/badge/io.github.mrfentmen/b-formal-method-mcp.svg)](https://lookupd.com/servers/io.github.mrfentmen/b-formal-method-mcp)