MCP server Claude CodeCodexCursor
MCP server exposing Z3 solver API. Runs locally from the mcp-z3-prover Python package.
not rated 1 4mo ago A
tokens not measured
original MIT
1Stars on the repository
2Mods indexed here, across every type
4mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown