SERVER

smt-mcp

Rank #67,197

glama/theTyster/smt-mcp

Enables logical entailment and satisfiability checks by dispatching formal SMT-LIB queries to both Z3 and cvc5, returning auditable solver verdicts, counterexamples, and caveats.

Not versioned
by theTyster (1 servers)View repository ↗Claim this server
First listed
Sep 5, 2026
Last publish date
—
OVERVIEW

smt-mcp is a Model Context Protocol (MCP) server published by theTyster. It ranks #67,197 of 137,492 servers tracked on MCP Toplist. smt-mcp is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Sep 5, 2026.

STANDING
#67,197of 137,492 tracked serversTop 50%

Ranks ahead of 70,295 of 137,492 servers on MCP Toplist.

CONNECT

Use smt-mcp

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

This server doesn't publish a machine-readable install config — see the repository README for install instructions.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: Top 50% of 137,492
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/glama%2FtheTyster%2Fsmt-mcp.svg)](https://mcptoplist.com/server/glama%2FtheTyster%2Fsmt-mcp)
HTML
<a href="https://mcptoplist.com/server/glama%2FtheTyster%2Fsmt-mcp"><img src="https://mcptoplist.com/badge/glama%2FtheTyster%2Fsmt-mcp.svg" alt="MCP Toplist: Top 50% of 137,492" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

Glama
ORGANIZATION

theTyster

Organization
theTyster
Servers in org
1
Versions across org
0
VERSIONS

Not versioned

This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.

FAQ

Frequently asked questions

Who maintains smt-mcp?
smt-mcp is maintained by theTyster, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
Is smt-mcp listed on the Official MCP Registry?
smt-mcp is not on the Official MCP Registry. It is listed on Glama.
How many versions does smt-mcp have?
smt-mcp ships as a single rolling release with no explicit version metadata.
Where can I find the source code for smt-mcp?
The source code for smt-mcp is hosted at github.com/theTyster/smt-mcp.
Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE
All MCP ServersGitHub MCP ServersBest MCP ServersMost Active MCP ServersNew MCP ServersBest New MCP Servers