Builds AI systems and developer tools (Sculptor) that make coding agents reliable and verifiable for software developers.