fastmcp>=0.2.0
z3-solver>=4.8.0
