agentmods.dev

dsouflis/z3-solver-mcp-server

A Model Context Protocol (MCP) server that provides SMT (Satisfiability Modulo Theories) solving capabilities using the Z3 theorem prover. This server allows Claude and other MCP clients to solve complex constraint satisfaction problems, mathematical equations, logic puzzles, and optimization problems.

Open on GitHub
3Stars on the repository
1Mods indexed here, across every type
1y agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

z3-solver-mcp-server

01

dsouflis/z3-solver-mcp-server

MCP server Claude CodeCodexCursor +2

MCP server "z3-solver-mcp-server" as configured in dsouflis/z3-solver-mcp-server. Runs locally from the z3-solver-mcp-server Python package.

not rated 3 1y ago A tokens not measured