MCP server for hunting bugs in Python functions via adversarial input generation and minimized regression tests.