[console_scripts]
mcp-z3-prover = mcp_z3_prover.__main__:main
