mcp-z3-prover
MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.
- 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
- beehiveinnovations-gemini11,731 stars · 1,032 forks99.276
- szeider-minizinc-solver181 stars · 23 forks93.481
- based-h-10-deepseek-reasoner52 stars · 15 forks87.462
What it is
MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.
When to use it
MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.