Metamath
/All repositories
Overview
HEALTH SCORE
Excellent*
Partial score (2/3 categories)
58out of 65
Strong maintainer coverage. Development cadence is the only remaining gap. Security & Supply Chain is unavailable, so weights were redistributed.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent*(58/65)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 1 day.
Bus factor
18 active maintainers currently have merge rights.
Organization Diversity
Contributors span 17 organizations.
Project Achievements
Leaderboards
About
Metamath is a formal mathematical proof verification system and database of mathematical proofs. It provides a minimalist foundation for mathematics based on a simple substitution engine with an emphasis on complete rigor and machine verification of proofs.
First commit
Software value
$45M
License(s)
Other
Links
Data sources
Git
GitHub