https://mytecharm.com.co/post/taming-llms-using-executable-oracles-to-prevent-bad-code-s8gjfj