fix: prover-agent.yaml syntax

[ludamad]

This is breaking kind smoke test (and the heavier kind tests)

[ludamad]

ok there's a flake in reorg but I'm getting this in and tackling that in follow on