# frenzymath/Archon - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 56.5 / 100
- **Responsiveness Tier**: Tier A
- **Primary Language**: Python
- **GitHub Stars**: 185
- **Description**: AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

## Contributor Metrics
- **Time to First Response**: ~135.3 hours
- **External PR Merge Rate**: 7692.3%
- **First-Timer Success Rate**: 10000.0%
- **Maintainers Active**: 3

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

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/frenzymath/Archon)