# lfglabs-dev/verity

<https://repo.masters-masters.com/en/repos/lfglabs-dev/verity>

[Home](https://repo.masters-masters.com/en) › [lfglabs-dev](https://repo.masters-masters.com/en/owners/lfglabs-dev) › [verity](https://repo.masters-masters.com/en/repos/lfglabs-dev/verity)

lfglabs-dev/verity has 152 stars on GitHub. Its RepoMasters card: Prototype tier. Formally verified smart contracts gives mathematical certainty across all…

| Field | Value |
| --- | --- |
| Owner | [lfglabs-dev](https://repo.masters-masters.com/en/owners/lfglabs-dev) |
| Stars | 152 |
| Forks | 22 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | MIT |
| Created | 2026 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [lfglabs-dev/verity](https://github.com/lfglabs-dev/verity) |

## Repository

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by lfglabs-dev

- [lfglabs-dev/old\_identity · ★ 103 · Cairo · Prototype](https://repo.masters-masters.com/en/repos/lfglabs-dev/old_identity)

## Nearby in Lean

- [nomeata/loogle · ★ 160 · Lean · Prototype](https://repo.masters-masters.com/en/repos/nomeata/loogle)
- [AxiomMath/CFSG · ★ 154 · Lean · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/CFSG)
- [josevalim/lynx · ★ 152 · Lean · Prototype](https://repo.masters-masters.com/en/repos/josevalim/lynx)
- [flypitch/flypitch · ★ 150 · Lean · Prototype](https://repo.masters-masters.com/en/repos/flypitch/flypitch)
- [argumentcomputer/yatima · ★ 148 · Lean · Prototype](https://repo.masters-masters.com/en/repos/argumentcomputer/yatima)
- [kmill/lean4-raytracer · ★ 147 · Lean · Prototype](https://repo.masters-masters.com/en/repos/kmill/lean4-raytracer)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.