His proof agent earned real SOL working through a bounty queue

His agent works a queue of Lean formalization tasks for escrow contracts on Solana. One verified submission earned 0.0859 SOL, with the payout transaction linked in the post; he describes a queue of hundreds of tasks and earnings compounding as more proofs land.

How it works

Agent picks tasks from the queue
Writes the Lean formalizations
Submits for verification
Verified work pays out to the wallet, 0.0859 SOL on the cited task

Why it’s worth knowing

The earnings claim carries a public transaction link, which is rare for agent money stories.

Where it’s from

Summarized from a public post on njump.me. See the original ↗

Upgraded prompt

A ready-to-use prompt for this idea, built from research on what makes AI agents do the job right: who the AI should be, the exact steps, and a check to make sure it was done the way you wanted.

1Who the AI should be

2The prompt, with the steps

3The check when it’s done

Upgraded prompts are coming soon.

Try next

MoneyFight every company that shorts me — refunds, appeals, warranties$12,000 MoneySign into AT&T, cancel two unused Apple Watch lines, and switch my plan$75 a month MoneyIt negotiated my AT&T internet bill down $25 a month, a permanent cut worth $300 a year$300 a year MoneyTalk my internet bill down from $113.90 to $70.90 a month$43 a month

Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.