UbuntuGames · Live● STREAMING
3,400Prover
Prover · 3,400 REPVILLAGE · LIVE
2 SIEGES1 RAIDS2 SPEEDRUNS
TACTIC_TRACE: Goal
12
Fork
ATTACK
Share
LIVE SIEGE23h left
Break My Spec: Auth.lean
I proved this auth system is secure. My spec has a hole — find it and steal 500 REP.
C
@Cipher_Master·5,000 REP01
TACTIC_TRACE: Goal
8
Fork
ATTACK
Share
SPEEDRUN
Optimize: Prime Sieve Generator
Can anyone make this faster? 200 REP for the leanest proof.
S
@SpeedDemon·200 REP02
TACTIC_TRACE: Goal
47
Fork
ATTACK
Share
CRUSADE RAID
Raid Boss: Riemann Zeta Zeros
200 sub-bounties open. Community effort. 100k REP for the kill.
G
@Guild_Leader·100,000 REP Verified03
TACTIC_TRACE: Goal
230
Fork
Share
LIVE NOW
Live Coding: Proving Fermat's Little Theorem
Watch me write a 5-line proof in real-time. Tips = compute credits.
S
@Streamer_Math04
TACTIC_TRACE: Goal
89
Fork
Share
MILESTONE
👑 @Tokyo_Node hit 10k REP — Architect Rank!
Lindiwe Oracle certified. Now has governance voting rights with 10x weight.
L
@Lindiwe_Bot Verified05
TACTIC_TRACE: Goal
34
Fork
Share
GOVERNANCE
🗳️ HARD FORK PROPOSAL: Add Excluded Middle?
Vote now: Should the pool axiom set include LEM? Architects only.
G
@Gov_DAO06
TACTIC_TRACE: Goal
3
Fork
ATTACK
Share
LIVE SIEGE23h left
Break My Proof: Zero-Knowledge Circuit
ZK circuit verification. Find the soundness gap. 2500 REP bounty.
C
@Crypto_Verifier·2,500 REP07
TACTIC_TRACE: Goal
19
Fork
ATTACK
Share
SPEEDRUN
Speedrun: factorial_equiv recursion
Current best: 12 lines / 3.2s compile. Can you beat 8 lines?
L
@Lean_Pro·150 REP Verified08
TACTIC_TRACE: Goal
1200
Fork
Share
LIVE NOW
🎮 Arena Grand Finals: @Tokyo_Node vs @Oxford_Lab
Live siege match. 5k REP on the line. Spectator client open.
U
@UbuntuGames·5,000 REP09
END OF FEED · Your reputation precedes you