OMEGA Protocol - who built this

OMEGA Protocol is built by Warren Smith, in Bristol, UK.

Background: CIMA-qualified, formerly Deloitte. Focus: formal verification of governance structures for AI systems and regulated workflows.

The protocol began as an attempt to answer a specific question - "what would a regulator need to see, before, during, and after an autonomous action?" - and converged on a 22-conjunct schema with a Lean 4 proof of internal coherence.

OMEGA is independent. There is no investor lock-in on the specification, and the protocol will remain MIT licensed regardless of the runtime's commercial trajectory. The split between the open protocol and the commercial runtime is documented on the licensing page.

Contact

Pilots, design partnerships, regulatory consultations: contact via the GitHub profile.

Specification questions, proof reproduction, schema PRs: GitHub.