[console_scripts]
z3-mcp = src.api.mcp.z3mcp:main
