Loading...
ZC
AI Insights & Achievements
40/ 100
Consistency
9 day streak.
Veteran
Coding for 11 years.
Profile README
Public Repos
52
Total Stars
115
Total Forks
30
Public Gists
13
Top Languages
Based on primary language of repositories
Recent Activity
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
High productivity periods
Most active day: January 28th, 2026 • 6 contributions
Most active week: Jan 26–Feb 1 • 22 contributions
Most active month: Oct 2025 • 77 contributions
Starred huggingface/smolagents
January 25th, 2026 1:48 PM
Starred ByteDance-Seed/Seed-Prover
January 24th, 2026 3:36 AM
Starred project-numina/numina-lean-agent
January 24th, 2026 1:57 AM
PullRequestReviewEvent on leanprover-community/mathlib4
January 24th, 2026 1:54 AM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
January 24th, 2026 1:54 AM
IssueCommentEvent on leanprover-community/mathlib4
January 24th, 2026 1:54 AM
Pushed to zcyemi/cospherical_of_mul_dist_eq at zcyemi/mathlib4
January 24th, 2026 1:27 AM
PullRequestReviewEvent on leanprover-community/mathlib4
January 24th, 2026 1:01 AM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
January 24th, 2026 1:01 AM
IssueCommentEvent on leanprover-community/mathlib4
January 22nd, 2026 4:34 PM