Skip to main content
Glama
Sign In
114,874 servers. Updated

"author:theTyster" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • smt-mcp

    theTyster
    A
    license
    A
    quality
    C
    maintenance
    Enables logical entailment and satisfiability checks by dispatching formal SMT-LIB queries to both Z3 and cvc5, returning auditable solver verdicts, counterexamples, and caveats.
    4
    MIT