Links for mcp-z3-prover