@gaearon这才是开源履历该有的含金量
匿名项目质量很硬
@yyx990803社区影响力拉满
匿名这个标签比简历还会说话
@sindresorhus一看就是榜单常驻选手
匿名分数和关注度都站得住
@torvalds值得点进 GitHub 看看
匿名这个评分很难不服
@gaearon这才是开源履历该有的含金量
匿名项目质量很硬
@yyx990803社区影响力拉满
匿名这个标签比简历还会说话
@sindresorhus一看就是榜单常驻选手
匿名分数和关注度都站得住
@torvalds值得点进 GitHub 看看
匿名这个评分很难不服
← 返回名人堂
暗色大卡 
亮色大卡 
@teorth
96.10/100
🏆 夯
封神 · 殿堂级标杆
#形式化数学卷王#Lean核心贡献者#数论仓库长工#开源数学苦工#Lean OSS Workhorse#Mathlib Core Contributor#Formal Math Wizard#Erdos Problem Curator
维度评分
账号成熟度10.0 / 10
原创项目质量16.9 / 18
贡献质量27.0 / 27
生态/维护影响力17.2 / 20
社区影响力8.0 / 8
活跃真实性17.0 / 17
🧬 和 TA 最像的开发者
画像最接近、分数相近的账号
🔥 毒舌点评全文
🔥 注册16年干满17年活跃期，原创analysis仓库1802星质量0.95硬核到能当陶哲轩Analysis的Lean官方配套，给3500星的mathlib4塞了22个PR，长期高星贡献388个PR+1333个commit全是核心代码连个文档灌水的都没有，PR通过率99%就差把「Lean数学卷王」焊在commit记录里，4038个粉丝怕不是全是来围观你 formalize 数论的。
teorth — 96.10/100 · 夯 (封神 · 殿堂级标杆)
一句话结论: 这哪是普通GitHub用户，是Lean数学形式化的活招牌，贡献全是硬核代码连个擦玻璃的文档PR都懒得刷，4038个粉丝全是来围观你卷死同行的。
| 维度 | 得分 | 说明 |
|---|---|---|
| 账号成熟度 | 10/10 | 注册16年，活跃17年，比账号年龄还多干一年，怕是注册完当天就开始卷Lean了 |
| 原创项目质量 | 16.9/18 | 总star 4416，最高star是analysis（1802星），质量评分0.95，是陶哲轩《Analysis I》的Lean形式化实打实的可用工程，22个repo里仅2个空仓库，其余都有实质内容，就是项目数量少了点，不然直接满分 |
| 贡献质量 | 27/27 | 合并PR 860个，总PR 896个，维护者关闭未合并的仅6个，作者主动关闭的外部PR 9个、自有仓库PR 6个，PR被拒率仅1%；最近50个merged PR里仅9个 trivial PR，1个文档类，外部PR中文档类占比仅3%，全是给mathlib4、AlexKontorovich的数论仓库塞核心Lean代码，连个改README的灌水PR都懒得刷，质量稳得一批 |
| 生态/维护影响力 | 17.2/20 | 向★3502的leanprover-community/mathlib4等4个高星仓库长期贡献388个PR+1333个commit，64个可验证样本全是核心代码，没有任何文档/站点/示例类刷量，就是其中google-deepmind的alphaevolve仓库贡献了40个commit没提PR，稍微拉了点分 |
| 社区影响力 | 8/8 | 粉丝4038，关注0，反向舔狗届的标杆，全是别人追着你关注，你连个回关都懒得给，粉丝里怕不是一半是Lean开发者一半是数论研究生来偷代码的 |
| 活跃真实性 | 17/17 | 近一年贡献3479，17年活跃，0天未提交，昨天还在推代码，活跃度真实得像开了永动机，不过提交内容全是实质数学形式化代码，不是刷的KPI |
风险标记 无，这账号干净得像刚编译通过的Lean代码，找不到任何刷量、灌水、模板PR的痕迹。
评分校准 无额外修正，原始分已经把所有维度的贡献质量、项目价值吃得准准的，没有遗漏的扣分点也不需要额外加分。
建议 继续保持硬核贡献的节奏，就是家里那2个空仓库别一直晾着，22个repo里不少中小项目也除除草，别光给别人的大项目当免费苦力，自己也搞点能拿更多星的项目，不然粉丝都以为你只会给mathlib4打黑工。
📌 贴到你的 GitHub 主页
复制下面任意一段贴进 Profile README，分数会自动保持最新，点击图片跳转你的详情页。
小徽章
Markdown
[](https://githubroast.dev/u/teorth)HTML
<a href="https://githubroast.dev/u/teorth"><img src="https://githubroast.dev/api/badge/teorth" alt="GitHub Roast 评分徽章" /></a>炫耀大卡
Markdown · 暗色大卡
[](https://githubroast.dev/u/teorth)Markdown · 亮色大卡
[](https://githubroast.dev/u/teorth)HTML · 暗色大卡
<a href="https://githubroast.dev/u/teorth"><img src="https://githubroast.dev/api/card/teorth?theme=dark" alt="GitHub Roast" width="600" /></a>HTML · 亮色大卡
<a href="https://githubroast.dev/u/teorth"><img src="https://githubroast.dev/api/card/teorth?theme=light" alt="GitHub Roast" width="600" /></a>