Senior product engineer · Web3 & AI agent platforms
Lucas
Franca
Twelve years shipping production software. The last four: systems where independent actors have to coordinate — DAO voters, multisig signers, autonomous coding agents, players in onchain games.
2025 — now · Agora
Governance rails for Optimism, ENS & Uniswap
Full-stack engineer on Agora's multi-tenant governance platform: proposal creation and voting, delegate discovery, grants, retro funding, attestations and rewards — the infrastructure DAOs run on.
- Safe multisig, first-class. Automatic Safe detection, live signer tracking across offchain SIWE and onchain transactions, cross-device continuity. Read the write-up
- Notifications Hub. Wallet-linked, per-event controls across email, Discord, Slack, Telegram and browser push — verification, retries, deduplication, delivery analytics. Read the write-up
- Governance data. EAS-backed attestations and eligibility, indexed onchain voting data, reward distribution.
2025 · TakeAIt
A ticketing platform where coding agents are users
Built at Agora: Claude Code and Codex agents claim tickets, spin up isolated workspaces on private GCP VMs, execute, stream state, open pull requests — and pause when they need a human.
- Zero-inbound security. Poll-only runners, rotating hashed keys, per-secret IAM, per-agent Unix users, controlled egress.
- Crash-resilient execution. Atomic work claiming, journal/replay recovery, ticket-status reconciliation, redacted logs.
- Human-in-the-loop. Comment-driven pause and redirection, mention-to-wake conversations, supervision from the web UI and a Go CLI.
2023 — 2025 · Onchain games
Games that live on mainnets and stay up
- Sekai Glory. Led full-stack delivery of a trading-card game: ~16 upgradeable contracts, real-time PvP matchmaking rebuilt around atomic match creation and Redis-persisted queue state, five languages — migrated live from Blast to Ronin.
- Lifeverse. DAO council member and lead engineer of Colosseum of Phanes on Arbitrum: deterministic battle simulation on a 60-second server tick, commit-reveal randomness, and the pipeline that generated the 4,686-token art collection.
- Realm. Fully onchain strategy ecosystem: a Solidity monorepo spanning 50+ game domains, three subgraphs serving live state, an AWS rewards engine distributing weekly ARB.
Since 2014 · Foundations
The stack under it all
Alongside everything: a decade at Brazil's Federal District Court of Auditors building audit systems and ChatTCDF, the Court's internal RAG chatbot. Computer Science at UFMG. Fluent Portuguese, English and Spanish.
- Product
- TypeScript · React · Next.js · Go · Node · Python · PostgreSQL · Redis
- Web3
- Solidity · Foundry · viem · wagmi · Safe · EAS · The Graph · Ponder
- Infra
- AWS · GCP · Docker · Terraform · WebSockets · SSE · OpenTelemetry