About ICME Labs

The team behind the receipt.

ICME builds PreFlight: pre-action verification for AI agents, with rules in plain English, deterministic enforcement, and receipts anyone can verify.

Company leaders

Advanced cryptography meets the future of lawyering.

PreFlight sits where formal verification and legal obligation converge. The founding team covers both ends.

Wyatt Benno

Wyatt Benno

Co-founder & CTO
Zero-knowledge proof systemsCo-author, Jolt AtlasGoogle Web3 AI Summit 2026 panelist

Wyatt leads PreFlight's verification and proving systems. He is a co-author of JOLT Atlas (arXiv:2602.17452), ICME's open-source zkML system built on the JOLT zkVM, and has spent his career building zero-knowledge proof infrastructure.

Every capability claim on this site runs through his engineering review before it ships.

Houman Shadab

Houman Shadab

Co-founder & CEO
Stanford CodeX FellowThree-time Congressional witnessNY Fed Innovation Conference 2026

Houman is a former practicing attorney and law professor, a Fellow at Stanford CodeX, and a three-time Congressional witness. He spoke at the Federal Reserve Bank of New York's 2026 Innovation Conference on turning law into verified code.

His prior startup was acquired by DocuSign.

Houman Shadab speaking on the Turning Law into Verified Code panel at the 2026 New York Fed Innovation Conference

"Turning Law into Verified Code," 2026 New York Fed Innovation Conference, Federal Reserve Bank of New York.

Why regulators are paying attention

Houman spoke on turning law into verified code at the New York Fed's 2026 Innovation Conference.

He appeared alongside Sarah Lawsky, Professor of Law at the University of Illinois, and Danny Weitzner, Senior Research Scientist at MIT CSAIL, moderated by Pablo Azar, Financial Economist at the New York Fed. The panel asked whether legal rules can be expressed precisely enough for a machine to check them, and what that would mean for supervision.

  • ›Former practicing attorney and law professor, published by Harvard, MIT, and Stanford.
  • ›Three-time Congressional witness on financial regulation and technology.
  • ›Prior startup acquired by DocuSign.
Watch the panel at newyorkfed.org
Wyatt Benno on the Evolution of ZK panel at the 2026 Google Web3 AI Summit, hosted by Google Cloud and Google DeepMind

"Evolution of ZK," 2026 Web3 AI Summit, hosted by Google Cloud and Google DeepMind.

And Google convened the field

Wyatt spoke on the Evolution of ZK panel at the Web3 AI Summit, hosted by Google Cloud and Google DeepMind.

He appeared alongside Shashank Agrawal of Coinbase, Michael Zhu of a16z crypto, and David Tse of Babylon and Stanford, moderated by Apoorvaa Deshpande of Google Cloud. The summit was convened to connect academic cryptography research with the people shipping it.

About the summit at withgoogle.com
Get started

Two ways in, depending on where you sit.

Developers can be checking agent actions in minutes. Enterprise teams can start with a scoped pilot on the policies your risk team is asking about.

For developers

Try the API

Compile a policy, check an agent action, get a verdict and a receipt. Public proof verification needs no API key.

Read the docs
For risk and platform teams

Book a call

Bring the policy stuck in review. We will count the rules that are checkable facts versus genuine judgment calls and scope a pilot from there.

Book a call