TauCetiProject/TauCeti

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

285 stars · 137 forks · Lean

Quick update: star history is from the full report of Nov 1, 2026.

Healthy

Actively maintained by 11 people, no known risks.

Why

No warning signs: none of the verdict rules applied to this repo.

What would change this

Maintenance

Partial

Active

Human commits, 30 days
16.1k
Human commits, 90 days
25.5k
Human commits, 365 days
27.7k
Bot share of commits, 365 days
19%
Last commit
Nov 12, 2026 (15 hours ago)
Last human commit
Nov 12, 2026 (15 hours ago)
Authors, 90 days
11
Last release
none found
Median PR merge time
under an hour

Responsiveness: of 28 recent issues, 0% got a maintainer reply. Median first response: n/a.

Sources: Commits, Releases, Merged pull requests, Issues

People

Complete
Owner
Organization
Commits sampled
81 since Nov 12, 2025
Authors for half of commits
1
Authors for 80% of commits
4
Contributors
86

Top committers

Sources: Commits, Contributors

Stars

Complete

Mostly organic, confidence medium

Stars per week, 2026-05-31 to 2026-10-25. 1 weeks overlap a burst.Peak 93 a week2026-05-312026-10-25
Bars show stars gained each week. Red bars overlap a burst.

Bursts

Anyone can buy stars for any repo; bursts alone don't prove the owner did.

Sources: How star history is analyzed

Risk

Complete

Flags

No risk flags.

License

Now
Apache-2.0 (OSI-approved)
A year ago
Not known

Packages

No published packages found.

Sources: GitHub: TauCetiProject/TauCeti

Compare

Weighing TauCetiProject/TauCeti against an alternative? See both side by side.

Badge

RepoRadar: Healthy

Add this to a README to show the current verdict:

[![RepoRadar](https://reporadar.ai/TauCetiProject/TauCeti/badge.svg)](https://reporadar.ai/TauCetiProject/TauCeti)

Follow

Get told when this verdict changes. Add the feed to any feed reader: you get one entry per change, not one per refresh.

https://reporadar.ai/TauCetiProject/TauCeti/feed.xml

Open the feed

See all

Earlier verdicts

Computed 13 hours ago · method 2026.10.2