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
0Stars on the repository
3Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown