# veritylabs

veritylabs builds formally verified infrastructure for Ethereum and Starknet.

## What We Build

- Verity: a formally verified smart contract compiler written in Lean 4.
- SafeLens: offline Gnosis Safe transaction verification with ERC-7730 clear signing.
- Starknet Agent: AI-powered Cairo and Starknet developer assistance.
- Cairo Core Library and Cairo Book documentation for the Starknet ecosystem.
- Starknet ID, Starknet Quest, StarkFighter, and other Starknet infrastructure and growth projects.

## Research

veritylabs publishes research notes and proof writeups at https://veritylabs.dev/research, including work on formal proofs, smart contract invariants, verification benchmarks, and protocol-specific safety properties.

## Contact

Use the contact links on https://veritylabs.dev/ for audits, formal verification work, and research collaborations.