INDIVIDUAL MCP TOOL

build_mealy_link

Build a simulator URL that opens a Mealy machine on the canvas.

theoryofcomputationsimulator.comnone authenticationAvailability not checked

LIVE ENDPOINT

https://www.theoryofcomputationsimulator.com/api/mcp

No auth detected

Connect to this endpoint to inspect the live schema for build_mealy_link and invoke it with your own arguments.

Indexed input schema

{}

Risk classification

Inferred read-only · medium confidence · heuristic, not a guarantee.

A tool name or description suggests retrieving external content.

Parent server

theoryofcomputationsimulator.com

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.theory-of-computation-simulator]
url = "https://www.theoryofcomputationsimulator.com/api/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "theory-of-computation-simulator": {
      "type": "http",
      "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: theory-of-computation-simulator
Remote MCP URL: https://www.theoryofcomputationsimulator.com/api/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "theory-of-computation-simulator": {
      "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "theory-of-computation-simulator": {
      "type": "http",
      "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "theory-of-computation-simulator",
  "transport": "streamable-http",
  "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

Related tools

simulate_fa — Test whether a DFA or NFA accepts an input string.
simulate_pda — Test a deterministic PDA on an input string.
simulate_ndpa — Test a nondeterministic PDA (NDPA) on an input string.
simulate_tm — Test a single-tape or multi-tape Turing Machine on an input string.
simulate_mealy — Run a Mealy machine on an input string and return the output sequence.
simulate_moore — Run a Moore machine on an input string and return the output sequence.
regex_to_nfa — Convert a regular expression to an NFA via Thompson's construction.
nfa_to_dfa — Convert an NFA to a minimal DFA via subset construction and minimization.