Bored Genius

Bored Genius is the developer behind TamaSwap, a DEX claiming to be provably unhackable via Lean verification. The handle appears as fee receiver for multiple token launches.