TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Summary
The available public data is mixed. More sustained activity or a broader contributor base would strengthen the score.
TauCetiProject/TauCeti recorded 3011 commits in the past 30 days, has 34 public contributors, and has averaged 2 stars a day since launch.
Repository health
Maintainer track record
Repository quality
Catalyst Score
Contributors
Public track record
@TauCetiProject · Repository organization
This account has a limited public history, so the track-record score is less certain.
@kim-em · Top contributor
Established maintainer with a long public history and active community.
@CBirkbeck · Top contributor
Active maintainer with a growing open-source track record.
@sqrt-of-2 · Top contributor
This account has a limited public history, so the track-record score is less certain.
Score breakdown
How the Catalyst Score was calculated
Activity
Recent repository activity
3011
Commits · 30d
34
Public contributors
2
Lifetime stars/day
4493
Pull requests · 90d
Findings
What we found
3011 commits in the last 30 days
34 public contributors
126 issues and 4493 pull requests opened in 90 days
9 documentation and structure checks passed
Related repositories
devtools · 745 created in the past 30 days
Risk review
What needs watching
Public GitHub data cannot verify private work, employment claims, code security, or identity. Use the track-record score as research context, not proof of identity or trustworthiness.
Growth quality
Recent attention and maintainer concentration
Recent timestamps and contribution patterns help distinguish sustained adoption from a single headline number.
Contributor concentration
Top 34 public contributors
- Top contributor share
- 32%
- Top three share
- 72%
- Contributors checked
- 34
- Concentration
- Moderate
Shares use the contribution totals reported for the contributors checked, not private or unlinked activity.
Recent commit sample
Latest 100 commits
- Unique authors
- 9
- Verified commits
- 99%
- Merge commits
- 0%
- Median time between commits
- 5 min
Repository footprint
Default branch: main
- Repository size
- 30.0 MB
- Branches
- 589
- Tags
- 4
- Watchers
- 1
Deeper GitHub data
Delivery, collaboration, and project readiness
These metrics use the latest public records GitHub makes available for this repository.
Language composition
Share of detected source bytes
Community readiness
GitHub community health 62%
Pull request health
Latest 50 pull requests
- Merge rate
- 100%
- Median merge time
- 25.2 hours
- Open
- 43
- Stale over 30 days
- 0
Issue health
Latest 1 issues
- Closure rate
- 0%
- Median close time
- Not enough data
- Open
- 1
- Open without replies
- 1
CI reliability
Latest 50 workflow runs
- Success rate
- 91%
- Workflows represented
- 9
- Failed runs
- 0
- Median duration
- 0.3 min
Last checked
8/26/2026, 2:07:16 AM