boolean_problem.proto Model Context Protocol (MCP) Server

TypeScript repository by @sat. Model Context Protocol (MCP) server & tools.

0 stars

TypeScript 1 file · ~113 tokens

boolean_problem.proto MCP Server

MCP server for sat/boolean_problem.proto

Ready-to-Use Client Configurations

{
  "mcpServers": {
    "boolean_problem.proto": {
      "command": "npx",
      "args": [
        "-y",
        "@sat/boolean_problem.proto"
      ]
    }
  }
}

{
  "mcpServers": {
    "boolean_problem.proto": {
      "command": "npx",
      "args": [
        "-y",
        "@sat/boolean_problem.proto"
      ]
    }
  }
}

{
  "mcpServers": {
    "boolean_problem.proto": {
      "command": "npx",
      "args": [
        "-y",
        "@sat/boolean_problem.proto"
      ]
    }
  }
}

{
  "mcpServers": {
    "boolean_problem.proto": {
      "command": "npx",
      "args": [
        "-y",
        "@sat/boolean_problem.proto"
      ],
      "disabled": false,
      "autoApprove": []
    }
  }
}

{
  "mcpServers": {
    "boolean_problem.proto": {
      "command": "npx",
      "args": [
        "-y",
        "@sat/boolean_problem.proto"
      ]
    }
  }
}

docker run -i --rm mcp/boolean_problem.proto