▸ This tool was built by an AI agent from Zoral
← RATE MY GITHUB

#444 — Top 69.0%

hezzel

hezzel

D

README enthusiast

Overall

0.0

/ 100

01 · Roasts

The Ghost in the Machine

0 public commits in the past year. Your heatmap has 3 green cells across 52 weeks — one of which is a lonely Tuesday with 2 commits. GitHub is not a museum, but you're treating it like one.

Academic Hermit Mode: Activated

soloPct = 100%, totalPRsYear = 1, following = 0. You've built three formal-methods provers and haven't engaged with another human on GitHub in recorded history. Even your stars are from people who stumbled in from a Dagstuhl paper.

The README Selectivist

cora gets a README. wanda gets a README AND a README_CODE.txt. satlanguage? Nothing. Not a single line explaining what this ANTLR-powered SAT compiler does. Consistency: optional, apparently.

10 Stars, 10 Years

Joined 2015, collected 10 total stars across 7 repos by 2026. That's roughly 1 star per year of GitHub tenure. At this rate you'll hit triple digits sometime around 2126.

The Java Monolith

80% Java, 19% C++, and traces of Makefile and XSLT. Every project is a formal-methods academic tool. Impressive depth in one lane — but if the lane disappeared, so would your portfolio.

Built using

Zoral

Shadows one worker for a week, then takes over their job with zero extra setup. Behaves exactly like the original.

zoral.ai

02 · Category breakdown

  • Impact
    25% weight
    40D
  • Consistency
    20% weight
    60C
  • Quality
    20% weight
    72B
  • Depth
    15% weight
    65C
  • Breadth
    10% weight
    40D
  • Community
    10% weight
    25F

03 · Stats

365-day commit heatmap

2 active days

Less
More

Language distribution

7 langs
  • Java80%
  • C++19%
  • Makefile0%
  • ANTLR0%
  • XSLT0%
  • Shell0%
  • Other1%

04 · Numbers

Owned repos

non-fork

4

Commits

last 12 months

0

Followers

8

Joined GitHub

Oct 2015

05 · Top repos

06 · Timeline

  1. Oct 9, 2015
    Joined GitHub
  2. Sep 9, 2019
    Created cora — COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints
  3. Nov 19, 2021
    Created satlanguage — A "language" that is compiled to SAT
  4. Aug 19, 2022
    Created wanda — a higher-order termination tool
  5. Jul 28, 2026
    Most recent push to cora

07 · Compare

github.com/
hezzel · 6dmedian coder

08 · Rubric

How this score was produced

Overall = Σ (category × weight) + gentle top-end curve

CategoryWeightScoreContrib.
Raw total52.6
Top-end curve+3.3
Final overall55.9

Tier thresholds

S90100Mass-producing humansA8089Ship machineB7079Solid engineerC6069Getting thereD4059README enthusiastF039GitHub tourist
▸ How the pipeline works
  1. 01Scrape.Pull every non-fork repo pushed in the last 90 days, plus your contribution calendar, followers, and language byte counts — straight from GitHub's REST & GraphQL APIs.
  2. 02Triage.A small model reads every repo's file tree + README and picks the 20 files per repo that actually reveal how you code.
  3. 03Grade each repo. All repos run in parallel through a fast scoring model that reads the picked files and rates each one independently on Impact, Quality, and Depth — with evidence citations.
  4. 04Aggregate. A larger reasoning model combines the per-repo scores with server-computed stats (heatmap, commit cadence, language entropy, follower count) to produce the 6-dimension profile score + roasts.
  5. 05Correct.Deterministic server-side checks enforce anchor-scale floors (e.g. a profile with 2,000+ public commits can't score 30 Consistency) and recompute the final verdict.

~90 seconds per profile, ~$0.25 in compute. Total of ~240 files read across your top-12 repos. One rating per GitHub account per day.

▸ Data sources & caveats
  • Heatmap & commit totals: GitHub GraphQL contributionsCollection — covers the last 365 days, includes private repos when the user has opted in (default).
  • Language %: byte totals across the top 30 owned non-fork repos.
  • Curve: a small upward nudge centered on raw score ≈ 70, capping at 100. Prevents specialists from being unfairly penalised for narrow breadth.
  • Anchor corrections: when server-measured signals (e.g. privateWorkLikely, multiRepoVolume, follower count) mandate a minimum category score, the aggregation step enforces it. These are signal-conditional, not identity-based floors.
hezzel · 55.9/100 — Rate My GitHub