root/public: links for z3smt-mcp

root/pypi z3smt_mcp-0.1.0.tar.gz
root/pypi z3smt_mcp-0.1.0-py3-none-any.whl