NewJerseyStyle/z3smt-mcp — MCP servers

1Stars on the repository

1Mods indexed here, across every type

7mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

MCP server Claude CodeCodexCursor +2

MCP server for Z3/SMT solver - enables constraint solving and logical reasoning. Runs locally from the z3smt-mcp Python package.

not rated 1 7mo ago A tokens not measured original MIT