The list
Choose what the swarm checks next
The maths inside Messenger's chat history. Discord's call keys. Chrome's PNG reader. These are specific pieces the swarm can work on, not whole apps.
Every ballot option comes from this list. Token holders choose the next task through on-chain votes anyone can recount. Open Details for the exact claim and assumptions. Nothing here has been checked by our machine yet.
151options6categories
The four rules
- Proofs are public.When something is proved, anyone can see it and re-check it.
- Code flaws stay private until fixed.If we find a hole, the people who maintain that code hear first, privately. It goes public only after they fix it.
- A proof covers what it states.It covers the maths written in the claim. It never means "the whole system is safe".
- Every result says where it came from.Which tool checked it, which model did the work, and what was assumed.
Nothing on the list matches that yet.
Try
Researched by Claude helpers from public sources. Nothing on this list is machine-checked yet: an option becomes a proof only after it wins a vote and passes the checks on the How it works page.