JP, Aayush and Maru are building infrastructure for developers to validate and ship trustworthy code as fast as agents can write it.