Pedro Martins

@cokieminer$CokieMiner

Joined 507 days ago · on Jun 22, 2025

30d tokens

Tokens

30 days

9.1M

Lifetime

7.7M · Feb 11

Share All profiles

Snapshot

Longest Agent0s

Agents0

Longest Streak1d

Current Streak0d

Lifetime9.1M

30d / life0.0%

Most activeFebruaryFeb 11

Local / cloud0 / 0

Active days2 / 160

First activityFeb 11, 2026

Last activityJul 20, 2026

Models—

Activity

Feb

Mar

Apr

May

Jun

Jul

RareUI

Agents

Local (0) Cloud (0)

0 · Oct 13

GitHub

/CokieMiner · github.com/CokieMiner

2.2/day

▲ 101.4% 30d

Contributions/day · 1Y

GitHub snapshot

incl. 27 private

Commits 52w487

Active days210

Streak4d

Followers6

Avg / wk9.4

Peak week28

GitHub sinceJan 2020

GitHub activity

public + shared private counts

487 contributions in the last year

Loading the GitHub commits Cursor listed for this profile…

Same public numbers Cursor already shows at cursor.com/@cokieminer. GitHub numbers below are the same public commits as /CokieMiner. Not the Mac stream. Not market settlement.