Leaderboard · Dafny

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer AI Spend Spend Top AI Model Model Languages Used
1 Matt Marzi $30.12 Opus ($30.12) Dafny, TeX, Markdown, C++, Text hireable 🇷🇴
2 Przemysław Kobylański $2.66 Opus ($2.66) Ada, Dafny, Lean4, C#, XML 🇵🇱
Last modified 1 hour ago at 2026-10-25T17:10:03Z