z3-solver-mcp-server
Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.
- Score
- 38.4381 signal
- Evidence
- 3 stars
- 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
- szeider-minizinc-solver181 stars · 23 forks93.482
- chiasmus213 stars · 11 forks92.242
- tonypan2-minesweeper106 stars · 6 forks87.921
What it is
Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.
When to use it
Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.