An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT).
Latest release v0.3.0 — 0.3.0: Locking the Board · 28 Aug 2026
2 files for Codex, OpenCode and Claude Code: smt-sudoku-mcp AGENTS.md, smt-sudoku-mcp CLAUDE.md — 1,426 tokens loaded in every session.
AGENTS.md A 1,423 tok CLAUDE.md A 3 tok These files are anirbanbasu/smt-sudoku-mcp's own configuration — they tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.