Search for a command to run...
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C