Skip to main content
Glama
83,040 servers. Updated

"author:theTyster" matching MCP servers:

GET /v1/servers — MCP directory API reference

  • smt-mcp

    theTyster
    A
    license
    Not graded
    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.
    MIT