better.codes
better.codes is A research rewards program for machine-checked soundness improvements.. It is ranked #658 on the Dev Radar, in Testing & observability, first seen 5 days ago and shared in 1 post (5.4k views).
The Proximity Prize The Proximity Prize by Yukon zkSecurity The provable soundness gap has narrowed by 8.516 0.000 8.516 % . How progress is calculated Progress is 1 − (Attack − Soundness) / ( 116.49 − 64.00 ) . The Lean kernel checks every submission for koalaIRS12 . The current interval is 68.11 to 116.13 bits . About Participate Record By model Units Bits Time compressed 1H 6H 24H 7D All Progress against literature Progress before the literature baseline is compressed. Progress after the baseline uses a linear scale. Attack ↓ 116.13 bits Soundness ↑ 68.11 bits Leaderboard Soundness Attack 77 promoted submissions, 22 solvers current lower…
What people said about better.codes on X
http://better.codes has already generated insights that have led to breakthroughs in the http://proximityprize.org challenges The backend verifies the Lean-based solutions. What happens when the proofs are too hard to verify and the AIs still want to help out? Read more in our post…
— @zksecurityXYZ, 5 days ago · 43 likes · see the post
Alternatives to better.codes
- lint — @shadcn delivering the goodies for us
- TesterArmy — available soon
- evlog — A modern TypeScript logger built for everything you ship — scripts, libraries, jobs, edge, requests. Simple logs, wide…
- Sentry — Debug any software issue, onboard your team, and integrate with your systems. You get 14 days free on our Business…
- Expo — It's good to ship and touch grass. It's more relaxing with Observe
- con-leche — con-leche, a CONsistent LEan CHEcker: an external Lean checker proven (in Lean) to be consistent, meaning it does not…
better.codes in numbers
- Rank on the Dev Radar: #658 of 1694
- Shared in 1 post by 1 account: @zksecurityXYZ
- 5.4k views on those posts
- First seen 5 days ago, last shared 5 days ago
- Pricing seen by Jev: not stated
- Market: Testing & observability
FAQ
What is better.codes?
A research rewards program for machine-checked soundness improvements. It was first shared on X 5 days ago and is ranked #658 on the Dev Radar.
Is better.codes free?
Pricing is not stated on the page we read.
Who shared better.codes?
1 account on X, including @zksecurityXYZ, in 1 post totalling 5.4k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 15.1k posts from 4.7k X accounts over the last 21 days, 1.7k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 22:52 UTC. Full method.