@jjyyy-jjy
Junye
65.50/100
🫥 NPC
普通账号 · 特征平庸存疑
#Lean证明仔#冷星仓库主#数院搬砖工#开源临时工#Lean Prover#Cold Star Repo Owner#Math Dept Coder#OSS Temp Worker
维度评分
账号成熟度7.7 / 10
原创项目质量7.0 / 18
贡献质量15.2 / 27
生态/维护影响力12.7 / 20
社区影响力4.1 / 8
活跃真实性16.8 / 17
🧬 和 TA 最像的开发者
画像最接近、分数相近的账号
🔥 毒舌点评全文
🔥 注册4年攒了7个star、4个粉丝，13个合并PR全是自家仓库的，给mathlib4提的8个PR还不如你粉丝数多，开源界的数学系临时工？
JJYYY-JJY — 65.50/100 · NPC (普通账号 · 特征平庸存疑)
一句话结论: 在Lean形式化验证领域有真实的利基代码贡献，但个人项目影响力极低、社区存在感几乎为零，属于偏科严重的开源爱好者。
| 维度 | 得分 | 说明 |
|---|---|---|
| 账号成熟度 | 7.7/10 | 注册4.01年，活跃跨度5年，近1年贡献1670次，活跃真实性尚可 |
| 原创项目质量 | 7/18 | 总star 7，最高star项目proof-carrying-monitor仅2星，原创项目受众极小但质量尚可 |
| 贡献质量 | 15.2/27 | 合并PR共13个，总PR 36个；维护者关闭未合并5个，作者主动关闭外部PR 1个，作者主动关闭自有仓库PR 14个 |
| 生态/维护影响力 | 12.7/20 | 向★55653的codegraph贡献1个实质PR，向★3499的leanprover-community/mathlib4贡献5个commit/8个PR，长期高星生态贡献共9个，无文件级验证样本，无核心工程/文档类明确归类贡献 |
| 社区影响力 | 4.1/8 | 粉丝仅4，关注仅2，社区影响力极低 |
| 活跃真实性 | 16.8/17 | 近一年贡献1670次，距最近活跃仅4天，活跃度高且无刷量嫌疑 |
风险标记: 无（无red_flags命中，无刷量、水PR等异常行为） 人工修正: +2，理由：存在向mathlib4等Lean社区核心仓库的真实长期代码贡献（非文档/模板类），属于有价值的利基领域贡献，适当上调分数。 建议: 正常（为利基领域真实贡献者，无异常行为，仅需提升项目曝光度即可）
📌 贴到你的 GitHub 主页
复制下面任意一段贴进 Profile README，分数会自动保持最新，点击图片跳转你的详情页。
小徽章
Markdown
[](https://githubroast.dev/u/jjyyy-jjy)HTML
<a href="https://githubroast.dev/u/jjyyy-jjy"><img src="https://githubroast.dev/api/badge/jjyyy-jjy" alt="GitHub Roast 评分徽章" /></a>炫耀大卡
Markdown
[](https://githubroast.dev/u/jjyyy-jjy)HTML
<a href="https://githubroast.dev/u/jjyyy-jjy"><img src="https://githubroast.dev/api/card/jjyyy-jjy" alt="GitHub Roast" width="600" /></a>