Check out a3-python. I had a lot of fun working with Halley Young the past few months exploring harnessing coding agents to build program verifiers. We put out a first prototype last week and describe parts of the journey here risemsr.github.io/blog/2026-02...
risemsr.github.io
How to train your program verifier
Development of a symbolic program analysis engine from prompts to functioning system