# LFG Labs

> LFG Labs builds formally verified infrastructure for Ethereum and Starknet, including Verity, SafeLens, Starknet Agent, and applied formal-methods research.

## Endpoints

- [Homepage](https://lfglabs.dev/) - LFG Labs overview, services, and contact links.
- [Projects](https://lfglabs.dev/projects) - Portfolio of formal verification, Ethereum, and Starknet work.
- [Research](https://lfglabs.dev/research) - Research notes, proof writeups, and verification reports.
- [Verity](https://veritylang.com/) - Formally verified smart contract compiler documentation.

## Authentication

No authentication is required for public site content.

## Examples

```bash
curl -H "Accept: text/markdown" https://lfglabs.dev/
curl https://lfglabs.dev/research
curl https://veritylang.com/llms.txt
```