quint-co / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

emiliaprotocol / emilia-protocol

Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.