An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT).
Latest release v1.0.0 — 1.0.0: The Paperwork Release · 13 Sept 2026
2 files for Codex, OpenCode and Claude Code: smt-sudoku-mcp AGENTS.md, smt-sudoku-mcp CLAUDE.md — 1,481 tokens loaded in every session.
AGENTS.md A 1,478 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.