@gaearonThis open-source track record has real weight
AnonymousProject quality checks out
@yyx990803Community signal is loud
AnonymousThose tags say more than a resume
@sindresorhusLooks like a Hall of Fame regular
AnonymousScore and attention both hold up
@torvaldsWorth opening the GitHub profile
AnonymousHard to argue with this score
@gaearonThis open-source track record has real weight
AnonymousProject quality checks out
@yyx990803Community signal is loud
AnonymousThose tags say more than a resume
@sindresorhusLooks like a Hall of Fame regular
AnonymousScore and attention both hold up
@torvaldsWorth opening the GitHub profile
AnonymousHard to argue with this score
← Back to Hall of Fame
Dark card 
Light card 
@teorth
96.10/100
🏆 GOD
Legendary · Hall of Fame
#形式化数学卷王#Lean核心贡献者#数论仓库长工#开源数学苦工#Lean OSS Workhorse#Mathlib Core Contributor#Formal Math Wizard#Erdos Problem Curator
Score breakdown
Account maturity10.0 / 10
Original project quality16.9 / 18
Contribution quality27.0 / 27
Ecosystem / maintenance impact17.2 / 20
Community influence8.0 / 8
Activity authenticity17.0 / 17
🧬 Most similar developers
Closest profile, nearby score
🔥 Full roast
🔥 16 years on GitHub with 17 years of non-stop activity: your analysis repo has 1.8k stars and a 0.95 quality score as the official Lean companion to Terence Tao's textbook, you dropped 22 PRs into 3.5k
📌 Pin to your GitHub profile
Copy any snippet below into your Profile README. The score stays up to date automatically, and the image links to your detail page.
Badge
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 score badge" /></a>Flex card
Markdown · Dark card
[](https://githubroast.dev/u/teorth)Markdown · Light card
[](https://githubroast.dev/u/teorth)HTML · Dark card
<a href="https://githubroast.dev/u/teorth"><img src="https://githubroast.dev/api/card/teorth?theme=dark" alt="GitHub Roast" width="600" /></a>HTML · Light card
<a href="https://githubroast.dev/u/teorth"><img src="https://githubroast.dev/api/card/teorth?theme=light" alt="GitHub Roast" width="600" /></a>