Links for z3smt-mcp