yaeldillies — 84.70/100 · 顶级

Yaël Dillies

84.70/100

🥇 顶级

顶级开发者 · 一线水准

#形式化数学家#加法组合博士#mathlib贡献者#Lean生态大佬#Formal Math Wizard#Lean Core Contributor#Mathlib Mainstay#DeepMind OSS Grind

维度评分

账号成熟度10.0 / 10

原创项目质量10.5 / 18

贡献质量20.9 / 27

生态/维护影响力18.1 / 20

社区影响力6.2 / 8

活跃真实性17.0 / 17

画像最接近、分数相近的账号

🔥 十年GitHub生涯给mathlib4塞了1800+ PR、给DeepMind Formal Conjectures写千星仓库代码，自己名下项目最高才80星，开源界的顶级外包全靠给大厂核心项目打工刷存在感

一句话结论: 该账号是Lean形式化数学生态的核心实质贡献者，长期向mathlib4、Google DeepMind formal-conjectures等千星级项目输出高质量PR，无刷量或水贡献痕迹，生态价值极高，仅个人项目 star 量偏低拉低原创项目维度得分。

维度	得分	说明
账号成熟度	10/10	注册10.82年，活跃12年，近一年仍有3248次贡献，账号生命周期完整且持续活跃
原创项目质量	10.5/18	共11个非空原创仓库，总star 150，最高star为cam-combi（80星），均为Lean形式化数学相关项目，无凑星或模板化仓库，原创项目影响力偏 niche 领域
贡献质量	20.9/27	总PR 3072个，合并190个；维护者关闭未合并96个，作者主动关闭外部PR 4个，自有仓库PR主动关闭0个；近50个merged样本中仅5个trivial PR，无模板化刷PR痕迹，贡献以实质性形式化证明、代码重构与文档更新为主
生态/维护影响力	18.1/20	长期向10个高星仓库贡献2919个实质PR/3438个commit，核心贡献包括leanprover-community/mathlib4（3496星，1853个PR）、google-deepmind/formal-conjectures（1023星，35个PR）、ImperialCollegeLondon/FLT（922星，22个PR）等千星级项目，是Lean生态的核心贡献者之一
社区影响力	6.2/8	拥有129位粉丝，关注19人，粉丝比健康，在Lean形式化数学小圈子内认可度较高，但领域 niche 导致大众知名度有限
活跃真实性	17/17	近一年贡献3248次，覆盖commit、PR、issue等多种贡献类型，无异常批量刷量行为，活跃度真实且持续

风险标记: 无 人工修正: +2，理由为该账号长期向多个千星级开源核心项目输出高质量实质贡献，无任何刷量、水PR、模板化刷星等负面行为，生态价值被脚本低估，故上调2分。建议: 正常，属于高价值开源贡献者，可优先合作。

复制下面任意一段贴进 Profile README，分数会自动保持最新，点击图片跳转你的详情页。

小徽章

Markdown

[![GitHub Roast 评分徽章](https://githubroast.dev/api/badge/yaeldillies)](https://githubroast.dev/u/yaeldillies)

HTML

<a href="https://githubroast.dev/u/yaeldillies"><img src="https://githubroast.dev/api/badge/yaeldillies" alt="GitHub Roast 评分徽章" /></a>

炫耀大卡

Markdown

[![GitHub Roast](https://githubroast.dev/api/card/yaeldillies)](https://githubroast.dev/u/yaeldillies)

HTML

<a href="https://githubroast.dev/u/yaeldillies"><img src="https://githubroast.dev/api/card/yaeldillies" alt="GitHub Roast" width="600" /></a>