Skip to main content
Glama
80,545 servers. Updated

"author:dsouflis" matching MCP servers:

GET /v1/servers — MCP directory API reference

  • z3-solver-mcp-server

    dsouflis
    F
    license
    A
    quality
    D
    maintenance
    Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.
    1
    3