Skip to main content
Glama
82,682 servers. Updated

"author:swesmith-repos" matching MCP servers:

GET /v1/servers — MCP directory API reference

  • MCP Solver

    swesmith-repos
    A
    license
    Not graded
    quality
    Not graded
    maintenance
    An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
    -