"author:dsouflis" matching MCP servers:

• z3-solver-mcp-server

  dsouflis

  F

  license

  -

  quality

  C

  maintenance

  Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.

  Last updated 2025-06-10

  3