Repowise scores Mnehmos/BHFormalization at 10.0 out of 10 for defect risk, which reads as excellent, alongside maintainability 10.0 and performance risk 10.0 on the same scale. There are 29 open findings across the three pillars, and the lowest-scoring file is generate_certificate.py at 6.6. Scores are computed from complexity, duplication, churn and git fix history, not from a linter.
Per-file health scores from complexity, duplication, coverage, churn, and ownership markers, ranked into a fix-next queue, with risk, security, and trend in one place.
