Informal Systems is a remote-first company builder and incubator focused on fostering trust in software and money. It stewards and supports Quint, an executable-specification tool for verifying software behavior, and Cycles, infrastructure for multilateral financial clearing.