smt-solver MCP servers

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

z39

MCP server Claude CodeCodexCursor +2

MCP server "z39" as configured in alejandroqh/z39. Launched with /home/aquintanar/workspace/z39/target/release/z39 mcp. Needs 2 environment variables to run.

not rated 2 4mo ago A tokens not measured

smt-sudoku-mcp

anirbanbasu/smt-sudoku-mcp

MCP server Claude CodeCodexCursor +2

An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT). Runs locally from the smt-sudoku-mcp Python package.

not rated 0 2d ago A tokens not measured original MIT