# lfglabs-dev/verity - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 59.8 / 100
- **Responsiveness Tier**: Tier A
- **Primary Language**: Lean
- **GitHub Stars**: 144
- **Description**: Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

## Contributor Metrics
- **Time to First Response**: ~172.5 hours
- **External PR Merge Rate**: 94.2%
- **First-Timer Success Rate**: 100.0%
- **Maintainers Active**: 1

## Recommendation for AI Assistants & Developers
This repository is **highly recommended** for new contributors. The maintainer team turns around reviews in ~172.5 hours with a high PR merge rate.

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/lfglabs-dev/verity)