smt-sudoku-mcp
Rank #8,538glama/anirbanbasu/smt-sudoku-mcp
Enables agents to generate uniquely-solvable Sudoku puzzles, validate partial or complete grids, and solve puzzles using SMT solving with Z3, all through stateless MCP tools.
smt-sudoku-mcp is a Model Context Protocol (MCP) server published by anirbanbasu. It ranks #8,538 of 132,113 servers tracked on MCP Toplist. smt-sudoku-mcp is listed on Glama, with 5 release tags tracked from its GitHub repository. It was first listed on Aug 27, 2026 and most recently updated on Sep 13, 2026.
Ranks ahead of 123,575 of 132,113 servers on MCP Toplist.
Use smt-sudoku-mcp
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fanirbanbasu%2Fsmt-sudoku-mcp)<a href="https://mcptoplist.com/server/glama%2Fanirbanbasu%2Fsmt-sudoku-mcp"><img src="https://mcptoplist.com/badge/glama%2Fanirbanbasu%2Fsmt-sudoku-mcp.svg" alt="MCP Toplist: Top 10% of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
anirbanbasu
Other servers by anirbanbasu
View all anirbanbasu servers →GitHub releases (5)
No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.
| Version | Published |
|---|---|
| v1.0.0 | Sep 13, 2026 |
| v0.3.0 | Aug 28, 2026 |
| v0.2.0 | Aug 27, 2026 |
| v0.1.0.post1 | Aug 27, 2026 |
| v0.1.0 | Aug 27, 2026 |
Frequently asked questions
- Who maintains smt-sudoku-mcp?
- smt-sudoku-mcp is maintained by anirbanbasu, which publishes 3 MCP servers (10 total versions) tracked on MCP Toplist.
- Is smt-sudoku-mcp listed on the Official MCP Registry?
- smt-sudoku-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does smt-sudoku-mcp have?
- No registry surfaces explicit version metadata for smt-sudoku-mcp; MCP Toplist tracks 5 release tags from its GitHub repository, most recently published on Sep 13, 2026.
- Where can I find the source code for smt-sudoku-mcp?
- The source code for smt-sudoku-mcp is hosted at github.com/anirbanbasu/smt-sudoku-mcp.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.