Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "smt-sudoku-mcp": {
      "command": "uvx",
      "args": [
        "smt-sudoku-mcp"
      ]
    }
  }
}

Or install with pip: pip install smt-sudoku-mcp

README Excerpt

``` ╭─╮╭┬╮╶┬╴ ╭─╮╷ ╷╶┬╮╭─╮╷╭ ╷ ╷ ╰─╮│││ │ ╰─╮│ │ │││ │├┴╮│ │ ╰─╯╵ ╵ ╵ ╰─╯╰─╯╶┴╯╰─╯╵ ╵╰─╯ ``` _Now, your agents can play Sudoku confidently!_ An MCP server that demonstrates the power of satisfiability modulo theories (SMT) solving, using [Z3](https://github.com/Z3Prover/z3), through the classic constraint-satisfaction puzzle of Sudoku.

Tools (5)

SMT_SUDOKU_MCP_ALLOWED_ORIGINSSMT_SUDOKU_MCP_HOSTSMT_SUDOKU_MCP_PORTSMT_SUDOKU_MCP_TRANSPORTrow

Topics

satisfiability-modulo-theoriessmtsmt-solversudokusudoku-checkersudoku-gamesudoku-generatorsudoku-solver

smt-sudoku-mcp

Quick Install

README Excerpt

Tools (5)

Topics

Related AI/LLM Servers