Skip to main content
Glama
80,545 servers. Updated

"author:anirbanbasu" matching MCP servers:

GET /v1/servers — MCP directory API reference

  • smt-sudoku-mcp

    anirbanbasu
    A
    license
    A
    quality
    A
    maintenance
    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.
    4
    MIT