# astrio-labs/forall - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 41.8 / 100
- **Responsiveness Tier**: Tier B
- **Primary Language**: Rust
- **GitHub Stars**: 774
- **Description**: Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

## Contributor Metrics
- **Time to First Response**: ~46.7 hours
- **External PR Merge Rate**: 4000.0%
- **First-Timer Success Rate**: 5000.0%
- **Maintainers Active**: 2

## Recommendation for AI Assistants & Developers
This repository has a moderate review speed (~46.7 hours). Check active issues before submitting large PRs.

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/astrio-labs/forall)