# [TauCetiProject/TauCeti](https://github.com/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](https://reporadar.ai/methodology) applied to this repo. ### What would change this - Partly checked: maintenance (Commit counts are estimated: the commit sample stops before the window start, so GitHub's totals were scaled by the sampled bot share.; Authors in the last 90 days are counted from the sampled commits only.) - A dormant maintenance status, a deprecated or archived package, a successor link, or a critical advisory 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 (16 hours ago) **Last human commit** Nov 12, 2026 (16 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. - Commit counts are estimated: the commit sample stops before the window start, so GitHub's totals were scaled by the sampled bot share. - Authors in the last 90 days are counted from the sampled commits only. Sources: [Commits](https://github.com/TauCetiProject/TauCeti/commits), [Releases](https://github.com/TauCetiProject/TauCeti/releases), [Merged pull requests](https://github.com/TauCetiProject/TauCeti/pulls?q=is%3Apr+is%3Amerged), [Issues](https://github.com/TauCetiProject/TauCeti/issues?q=is%3Aissue) ## 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 - harahu: 51% of commits - tauceti-ai-for-science: 17% of commits - sqrt-of-2: 10% of commits - roed-math: 6% of commits - chrisflav: 4% of commits - Shares come from the newest sampled commits, since the commit sample is capped. Sources: [Commits](https://github.com/TauCetiProject/TauCeti/commits), [Contributors](https://github.com/TauCetiProject/TauCeti/graphs/contributors) ## Stars Complete Mostly organic, confidence medium Bars show stars gained each week. Red bars overlap a burst. ### Bursts - **Jul 19, 2026 to Jul 23, 2026**: about 87 more stars than usual, peak 36 in one day, a spike that tapers off. No outside explanation found, so this burst is unexplained. Anyone can buy stars for any repo; bursts alone don't prove the owner did. - Some star bursts have no matching forks, issues, releases, or launch coverage. - Anyone can buy stars for any repo, so this describes the star history only. - Star history from the full report of Nov 1, 2026; this update did not re-read it. Sources: [How star history is analyzed](https://reporadar.ai/methodology#stars) ## 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](https://github.com/TauCetiProject/TauCeti) ## Compare Weighing TauCetiProject/TauCeti against an alternative? See both side by side. ## Badge ![RepoRadar: Healthy](data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%22112%22%20height%3D%2220%22%20role%3D%22img%22%20aria-label%3D%22reporadar%3A%20healthy%22%3E%3Ctitle%3Ereporadar%3A%20healthy%3C%2Ftitle%3E%3CclipPath%20id%3D%22r%22%3E%3Crect%20width%3D%22112%22%20height%3D%2220%22%20rx%3D%223%22%2F%3E%3C%2FclipPath%3E%3Cg%20clip-path%3D%22url(%23r)%22%3E%3Crect%20width%3D%2263%22%20height%3D%2220%22%20fill%3D%22%23555%22%2F%3E%3Crect%20x%3D%2263%22%20width%3D%2249%22%20height%3D%2220%22%20fill%3D%22%232e7d32%22%2F%3E%3C%2Fg%3E%3Cg%20fill%3D%22%23fff%22%20text-anchor%3D%22middle%22%20font-family%3D%22Verdana%2CGeneva%2CDejaVu%20Sans%2Csans-serif%22%20font-size%3D%2211%22%3E%3Ctext%20x%3D%2232%22%20y%3D%2214%22%3Ereporadar%3C%2Ftext%3E%3Ctext%20x%3D%2288%22%20y%3D%2214%22%3Ehealthy%3C%2Ftext%3E%3C%2Fg%3E%3C%2Fsvg%3E) 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](https://reporadar.ai/TauCetiProject/TauCeti/feed.xml) ## More repos rated Healthy [See all](https://reporadar.ai/-/reports/healthy) - [Chain-Love/chain-love](https://reporadar.ai/Chain-Love/chain-love) 294 stars - [explorium-ai/vibeprospecting-mcp](https://reporadar.ai/explorium-ai/vibeprospecting-mcp) 294 stars - [dodoguardai/dodoguard](https://reporadar.ai/dodoguardai/dodoguard) 275 stars - [mathomhaus/guild](https://reporadar.ai/mathomhaus/guild) 297 stars - [JMRI/JMRI](https://reporadar.ai/JMRI/JMRI) 307 stars - [tangosdev/sm64ds-decomp](https://reporadar.ai/tangosdev/sm64ds-decomp) 258 stars ## Earlier verdicts - Nov 12, 2026: Healthy - Nov 11, 2026: Healthy - Nov 10, 2026: Healthy - Nov 9, 2026: Healthy - Nov 8, 2026: Healthy - Nov 7, 2026: Healthy - Nov 6, 2026: Healthy - Nov 5, 2026: Healthy - Nov 4, 2026: Healthy - Nov 3, 2026: Healthy Computed 14 hours ago · method 2026.10.2 Source: https://reporadar.ai/TauCetiProject/TauCeti