[console_scripts]
z3smt-mcp = z3smt_mcp.server:main
