z3-smt-mcp-server
Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.
- Score
- 22.5571 signal
- Evidence
- 1 star
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- based-h-10-deepseek-reasoner52 stars · 15 forks87.462
- martinbowling-thoughtful-claude55 stars · 9 forks86.267
- angrysky56-logic46 stars · 10 forks85.517
What it is
Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.
When to use it
Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.