The verification layer that takes financial agents to production.

Our Mission

Nava is the verification layer for Agentic Finance. We take financial agents from sandbox experiments to production systems that people actually trust with real money.

You've built a smart agent. It works great in testing. But when it comes to handling real capital, you shouldn't have to choose between agent creativity and liability protection.

Nava gives you both. See how it works.

Team

Vyas Krishnan
Vyas KrishnanCo-Founder & CEO
Follow on

Former founding team at EigenLayer

Brianna Montgomery
Brianna MontgomeryCo-Founder & COO
Follow on

Former EigenLayer, Fei Protocol, and Consensys.

Ding Zhao
Ding ZhaoHead of Research
Follow on

Head of Research at Nava Labs and Associate Professor at Carnegie Mellon, leading the Safe AI Lab. Focused on safe, explainable, and verifiable AI for high-stakes systems. His work has earned the NSF CAREER Award and collaborations with Google, Amazon, Ford, and Uber.

KatieHead of Engineering

Former CTO at Notable.art and o1Labs engineering lead, focused on smart contract security and applied cryptography.

Cheryl Douglass
Cheryl DouglassProduct Marketing & BD
Follow on

Former Consensys (Infura, MetaMask) and Seed Club.

Vijay Michalik
Vijay MichalikHead of Product
Follow on

Former Superfluid and Consensys (Protocol Engineering)

Duanyi Yao
Duanyi YaoResearcher
Follow on

HKUST PhD and CMU researcher. Agent robustness, governance, and policy research.

SidEngineer

Former EigenLayer. Smart contract and LLM-powered agent development.

Archibald Latham
Archibald LathamEngineer
Follow on

Former EigenLayer. Coordination, infrastructure, and safety architecture for Nava's agent network.

Tim Schultz
Tim SchultzEngineer
Follow on

Former Gitcoin senior full-stack developer. Leading executor agents, enforcement tooling, and UI development.

Baltasar Aroso
Baltasar ArosoEngineer
Follow on

AI Systems Engineer designing Guardian architecture and agent decision systems, bridging AI research and production.

Bernardo Cardoso
Bernardo CardosoEngineer

Protocol Engineer building core infrastructure and privacy-first systems for the Nava ecosystem.

Drop-in verification, any agent

Any framework. Any model. Verify every action without changing how you build.

Backed by the Industry leaders
Polychain CapitalArchetypeHack VCFalconXSeed Club Ventures

Start Building

Devs and traders

Drop verification into any agent you're building.

You're on the waitlist
Devs and traders

Institutions

Enterprise-grade verification for Agentic Finance.

Devs and traders