We're building program synthesizers, i.e., automation that can write code. We have an MVP in production that reads/writes smart contracts (small, permanent apps) in Ethereum's Solidity language, used to ensure customers' code is secure and correct. …